Dave is cold. Dave is kind. Dave is quiet. Dave is smart. Dave is white. Dave is young. Fiona is cold. Fiona is nice. Fiona is smart. Fiona is young. If Dave is white and Dave is quiet then Dave is nice. If Dave is young then Dave is nice.
Dave is cold.
("Dave" "is" "cold" "+")
Dave is kind.
("Dave" "is" "kind" "+")
Dave is quiet.
("Dave" "is" "quiet" "+")
Dave is smart.
("Dave" "is" "smart" "+")
Dave is white.
("Dave" "is" "white" "+")
Dave is young.
("Dave" "is" "young" "+")
Fiona is cold.
("Fiona" "is" "cold" "+")
Fiona is nice.
("Fiona" "is" "nice" "+")
Fiona is smart.
("Fiona" "is" "smart" "+")
Fiona is young.
("Fiona" "is" "young" "+")
If Dave is white and Dave is quiet then Dave is nice.
((("Dave" "is" "white" "+") ("Dave" "is" "quiet" "+")) -> ("Dave" "is" "nice" "+"))
If Dave is young then Dave is nice.
((("Dave" "is" "young" "+")) -> ("Dave" "is" "nice" "+"))
Dave is smart.
True
1
proof
[(triple4)]
("Dave" "is" "smart" "+")
triple4
Dave is not white.
False
1
inv-proof
[(triple5)]
("Dave" "is" "white" "-")
triple5
Dave is nice.
True
2
proof
[(((triple6) -> rule2) OR ((triple5 triple3) -> rule1))]
("Dave" "is" "nice" "+")
((triple6) -> (rule2 % int1))
Dave is nice.
("Dave" "is" "nice" "+")
int1
((triple5 triple3) -> (rule1 % int1))
Dave is nice.
("Dave" "is" "nice" "+")
int1
Dave is not nice.
False
2
inv-proof
[(((triple6) -> rule2) OR ((triple5 triple3) -> rule1))]
("Dave" "is" "nice" "-")
((triple6) -> (rule2 % int1))
Dave is nice.
("Dave" "is" "nice" "+")
int1
((triple5 triple3) -> (rule1 % int1))
Dave is nice.
("Dave" "is" "nice" "+")
int1
Fiona is not kind.
Unknown
inv-random
[@0: Fiona is kind.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "kind" "-")
Fiona is quiet.
Unknown
random
[@0: Fiona is quiet.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "quiet" "+")
@0: Dave is cold.[(triple1)] Dave is kind.[(triple2)] Dave is quiet.[(triple3)] Dave is smart.[(triple4)] Dave is white.[(triple5)] Dave is young.[(triple6)] Fiona is cold.[(triple7)] Fiona is nice.[(triple8)] Fiona is smart.[(triple9)] Fiona is young.[(triple10)] @1: Dave is nice.[(((triple6) -> rule2) OR ((triple5 triple3) -> rule1))]
Dave is cold.
("Dave" "is" "cold" "+")
triple1
Dave is kind.
("Dave" "is" "kind" "+")
triple2
Dave is quiet.
("Dave" "is" "quiet" "+")
triple3
Dave is smart.
("Dave" "is" "smart" "+")
triple4
Dave is white.
("Dave" "is" "white" "+")
triple5
Dave is young.
("Dave" "is" "young" "+")
triple6
Fiona is cold.
("Fiona" "is" "cold" "+")
triple7
Fiona is nice.
("Fiona" "is" "nice" "+")
triple8
Fiona is smart.
("Fiona" "is" "smart" "+")
triple9
Fiona is young.
("Fiona" "is" "young" "+")
triple10
Dave is nice.
("Dave" "is" "nice" "+")
((triple6) -> (rule2 % int1))
Dave is nice.
("Dave" "is" "nice" "+")
int1
((triple5 triple3) -> (rule1 % int1))
Dave is nice.
("Dave" "is" "nice" "+")
int1