Bob is quiet. Bob is rough. Bob is white. Bob is young. Dave is quiet. Dave is red. Dave is rough. Dave is young. Erin is green. Erin is quiet. Erin is red. Erin is rough. Erin is young. Harry is cold. Harry is green. Harry is white. If Dave is cold and Dave is green then Dave is young. White people are quiet. Rough, young people are white. If Erin is white and Erin is cold then Erin is young. If someone is young and green then they are red. White people are quiet.
Bob is quiet.
("Bob" "is" "quiet" "+")
Bob is rough.
("Bob" "is" "rough" "+")
Bob is white.
("Bob" "is" "white" "+")
Bob is young.
("Bob" "is" "young" "+")
Dave is quiet.
("Dave" "is" "quiet" "+")
Dave is red.
("Dave" "is" "red" "+")
Dave is rough.
("Dave" "is" "rough" "+")
Dave is young.
("Dave" "is" "young" "+")
Erin is green.
("Erin" "is" "green" "+")
Erin is quiet.
("Erin" "is" "quiet" "+")
Erin is red.
("Erin" "is" "red" "+")
Erin is rough.
("Erin" "is" "rough" "+")
Erin is young.
("Erin" "is" "young" "+")
Harry is cold.
("Harry" "is" "cold" "+")
Harry is green.
("Harry" "is" "green" "+")
Harry is white.
("Harry" "is" "white" "+")
If Dave is cold and Dave is green then Dave is young.
((("Dave" "is" "cold" "+") ("Dave" "is" "green" "+")) -> ("Dave" "is" "young" "+"))
White people are quiet.
((("someone" "is" "white" "+")) -> ("someone" "is" "quiet" "+"))
Rough, young people are white.
((("someone" "is" "rough" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "white" "+"))
If Erin is white and Erin is cold then Erin is young.
((("Erin" "is" "white" "+") ("Erin" "is" "cold" "+")) -> ("Erin" "is" "young" "+"))
If someone is young and green then they are red.
((("someone" "is" "young" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "red" "+"))
White people are quiet.
((("someone" "is" "white" "+")) -> ("someone" "is" "quiet" "+"))
Harry is cold.
True
1
proof
[(triple14)]
("Harry" "is" "cold" "+")
triple14
Harry is not cold.
False
1
inv-proof
[(triple14)]
("Harry" "is" "cold" "-")
triple14
Harry is not red.
Unknown
inv-rconc
[@1: Harry is red.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Harry" "is" "red" "-")
Bob is cold.
Unknown
random
[@0: Bob is cold.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "cold" "+")
@0: Bob is quiet.[(triple1 OR ((triple3) -> rule2) OR ((triple3) -> rule6) OR ((((triple2 triple4) -> rule3)) -> rule2) OR ((((triple2 triple4) -> rule3)) -> rule6))] Bob is rough.[(triple2)] Bob is white.[(triple3 OR ((triple2 triple4) -> rule3))] Bob is young.[(triple4)] Dave is quiet.[(triple5 OR ((((triple7 triple8) -> rule3)) -> rule2) OR ((((triple7 triple8) -> rule3)) -> rule6))] Dave is red.[(triple6)] Dave is rough.[(triple7)] Dave is young.[(triple8)] Erin is green.[(triple9)] Erin is quiet.[(triple10 OR ((((triple12 triple13) -> rule3)) -> rule2) OR ((((triple12 triple13) -> rule3)) -> rule6))] Erin is red.[(triple11 OR ((triple13 triple9) -> rule5))] Erin is rough.[(triple12)] Erin is young.[(triple13)] Harry is cold.[(triple14)] Harry is green.[(triple15)] Harry is white.[(triple16)] @1: Dave is white.[(((triple7 triple8) -> rule3))] Erin is white.[(((triple12 triple13) -> rule3))] Harry is quiet.[(((triple16) -> rule2) OR ((triple16) -> rule6))]
Bob is quiet.
("Bob" "is" "quiet" "+")
triple1
((triple3) -> (rule2 % int1))
Bob is quiet.
("Bob" "is" "quiet" "+")
int1
((triple3) -> (rule6 % int1))
Bob is quiet.
("Bob" "is" "quiet" "+")
int1
((((triple2 triple4) -> (rule3 % int2))) -> (rule2 % int1))
Bob is quiet.
("Bob" "is" "quiet" "+")
int1
Bob is white.
("Bob" "is" "white" "+")
int2
((((triple2 triple4) -> (rule3 % int2))) -> (rule6 % int1))
Bob is quiet.
("Bob" "is" "quiet" "+")
int1
Bob is white.
("Bob" "is" "white" "+")
int2
Bob is rough.
("Bob" "is" "rough" "+")
triple2
Bob is white.
("Bob" "is" "white" "+")
triple3
((triple2 triple4) -> (rule3 % int1))
Bob is white.
("Bob" "is" "white" "+")
int1
Bob is young.
("Bob" "is" "young" "+")
triple4
Dave is quiet.
("Dave" "is" "quiet" "+")
triple5
((((triple7 triple8) -> (rule3 % int2))) -> (rule2 % int1))
Dave is quiet.
("Dave" "is" "quiet" "+")
int1
Dave is white.
("Dave" "is" "white" "+")
int2
((((triple7 triple8) -> (rule3 % int2))) -> (rule6 % int1))
Dave is quiet.
("Dave" "is" "quiet" "+")
int1
Dave is white.
("Dave" "is" "white" "+")
int2
Dave is red.
("Dave" "is" "red" "+")
triple6
Dave is rough.
("Dave" "is" "rough" "+")
triple7
Dave is young.
("Dave" "is" "young" "+")
triple8
Erin is green.
("Erin" "is" "green" "+")
triple9
Erin is quiet.
("Erin" "is" "quiet" "+")
triple10
((((triple12 triple13) -> (rule3 % int2))) -> (rule2 % int1))
Erin is quiet.
("Erin" "is" "quiet" "+")
int1
Erin is white.
("Erin" "is" "white" "+")
int2
((((triple12 triple13) -> (rule3 % int2))) -> (rule6 % int1))
Erin is quiet.
("Erin" "is" "quiet" "+")
int1
Erin is white.
("Erin" "is" "white" "+")
int2
Erin is red.
("Erin" "is" "red" "+")
triple11
((triple13 triple9) -> (rule5 % int1))
Erin is red.
("Erin" "is" "red" "+")
int1
Erin is rough.
("Erin" "is" "rough" "+")
triple12
Erin is young.
("Erin" "is" "young" "+")
triple13
Harry is cold.
("Harry" "is" "cold" "+")
triple14
Harry is green.
("Harry" "is" "green" "+")
triple15
Harry is white.
("Harry" "is" "white" "+")
triple16
Dave is white.
("Dave" "is" "white" "+")
((triple7 triple8) -> (rule3 % int1))
Dave is white.
("Dave" "is" "white" "+")
int1
Erin is white.
("Erin" "is" "white" "+")
((triple12 triple13) -> (rule3 % int1))
Erin is white.
("Erin" "is" "white" "+")
int1
Harry is quiet.
("Harry" "is" "quiet" "+")
((triple16) -> (rule2 % int1))
Harry is quiet.
("Harry" "is" "quiet" "+")
int1
((triple16) -> (rule6 % int1))
Harry is quiet.
("Harry" "is" "quiet" "+")
int1