Dave is blue. Dave is furry. Dave is kind. Dave is quiet. Dave is red. Dave is white. Erin is blue. Erin is furry. Erin is kind. Erin is quiet. Erin is white. Harry is kind. Harry is quiet. Harry is red. Harry is rough. White people are kind. Quiet people are blue. If someone is kind and blue then they are quiet.
Dave is blue.
("Dave" "is" "blue" "+")
Dave is furry.
("Dave" "is" "furry" "+")
Dave is kind.
("Dave" "is" "kind" "+")
Dave is quiet.
("Dave" "is" "quiet" "+")
Dave is red.
("Dave" "is" "red" "+")
Dave is white.
("Dave" "is" "white" "+")
Erin is blue.
("Erin" "is" "blue" "+")
Erin is furry.
("Erin" "is" "furry" "+")
Erin is kind.
("Erin" "is" "kind" "+")
Erin is quiet.
("Erin" "is" "quiet" "+")
Erin is white.
("Erin" "is" "white" "+")
Harry is kind.
("Harry" "is" "kind" "+")
Harry is quiet.
("Harry" "is" "quiet" "+")
Harry is red.
("Harry" "is" "red" "+")
Harry is rough.
("Harry" "is" "rough" "+")
White people are kind.
((("someone" "is" "white" "+")) -> ("someone" "is" "kind" "+"))
Quiet people are blue.
((("someone" "is" "quiet" "+")) -> ("someone" "is" "blue" "+"))
If someone is kind and blue then they are quiet.
((("someone" "is" "kind" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "quiet" "+"))
Erin is white.
True
1
proof
[(triple11)]
("Erin" "is" "white" "+")
triple11
Dave is not red.
False
1
inv-proof
[(triple5)]
("Dave" "is" "red" "-")
triple5
Harry is blue.
True
2
proof
[(((triple13) -> rule2))]
("Harry" "is" "blue" "+")
((triple13) -> (rule2 % int1))
Harry is blue.
("Harry" "is" "blue" "+")
int1
Harry is not blue.
False
2
inv-proof
[(((triple13) -> rule2))]
("Harry" "is" "blue" "-")
((triple13) -> (rule2 % int1))
Harry is blue.
("Harry" "is" "blue" "+")
int1
Dave is not rough.
Unknown
inv-random
[@0: Dave is rough.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "rough" "-")
Harry is white.
Unknown
random
[@0: Harry is white.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "white" "+")
Erin is not red.
Unknown
inv-random
[@0: Erin is red.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "red" "-")
Harry is furry.
Unknown
random
[@0: Harry is furry.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "furry" "+")
@0: Dave is blue.[(triple1 OR ((triple4) -> rule2))] Dave is furry.[(triple2)] Dave is kind.[(triple3 OR ((triple6) -> rule1))] Dave is quiet.[(triple4 OR ((triple3 triple1) -> rule3) OR ((((triple6) -> rule1) triple1) -> rule3))] Dave is red.[(triple5)] Dave is white.[(triple6)] Erin is blue.[(triple7 OR ((triple10) -> rule2))] Erin is furry.[(triple8)] Erin is kind.[(triple9 OR ((triple11) -> rule1))] Erin is quiet.[(triple10 OR ((triple9 triple7) -> rule3) OR ((((triple11) -> rule1) triple7) -> rule3))] Erin is white.[(triple11)] Harry is kind.[(triple12)] Harry is quiet.[(triple13)] Harry is red.[(triple14)] Harry is rough.[(triple15)] @1: Harry is blue.[(((triple13) -> rule2))]
Dave is blue.
("Dave" "is" "blue" "+")
triple1
((triple4) -> (rule2 % int1))
Dave is blue.
("Dave" "is" "blue" "+")
int1
Dave is furry.
("Dave" "is" "furry" "+")
triple2
Dave is kind.
("Dave" "is" "kind" "+")
triple3
((triple6) -> (rule1 % int1))
Dave is kind.
("Dave" "is" "kind" "+")
int1
Dave is quiet.
("Dave" "is" "quiet" "+")
triple4
((triple3 triple1) -> (rule3 % int1))
Dave is quiet.
("Dave" "is" "quiet" "+")
int1
((((triple6) -> (rule1 % int2)) triple1) -> (rule3 % int1))
Dave is quiet.
("Dave" "is" "quiet" "+")
int1
Dave is kind.
("Dave" "is" "kind" "+")
int2
Dave is red.
("Dave" "is" "red" "+")
triple5
Dave is white.
("Dave" "is" "white" "+")
triple6
Erin is blue.
("Erin" "is" "blue" "+")
triple7
((triple10) -> (rule2 % int1))
Erin is blue.
("Erin" "is" "blue" "+")
int1
Erin is furry.
("Erin" "is" "furry" "+")
triple8
Erin is kind.
("Erin" "is" "kind" "+")
triple9
((triple11) -> (rule1 % int1))
Erin is kind.
("Erin" "is" "kind" "+")
int1
Erin is quiet.
("Erin" "is" "quiet" "+")
triple10
((triple9 triple7) -> (rule3 % int1))
Erin is quiet.
("Erin" "is" "quiet" "+")
int1
((((triple11) -> (rule1 % int2)) triple7) -> (rule3 % int1))
Erin is quiet.
("Erin" "is" "quiet" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Erin is white.
("Erin" "is" "white" "+")
triple11
Harry is kind.
("Harry" "is" "kind" "+")
triple12
Harry is quiet.
("Harry" "is" "quiet" "+")
triple13
Harry is red.
("Harry" "is" "red" "+")
triple14
Harry is rough.
("Harry" "is" "rough" "+")
triple15
Harry is blue.
("Harry" "is" "blue" "+")
((triple13) -> (rule2 % int1))
Harry is blue.
("Harry" "is" "blue" "+")
int1