Charlie is not quiet. Charlie is red. Charlie is young. Erin is cold. Erin is furry. Erin is green. Erin is young. Harry is green. Harry is quiet. Harry is red. If Erin is young and Erin is furry then Erin is quiet. All young things are green. Green, red things are not smart.
Charlie is not quiet.
("Charlie" "is" "quiet" "-")
Charlie is red.
("Charlie" "is" "red" "+")
Charlie is young.
("Charlie" "is" "young" "+")
Erin is cold.
("Erin" "is" "cold" "+")
Erin is furry.
("Erin" "is" "furry" "+")
Erin is green.
("Erin" "is" "green" "+")
Erin is young.
("Erin" "is" "young" "+")
Harry is green.
("Harry" "is" "green" "+")
Harry is quiet.
("Harry" "is" "quiet" "+")
Harry is red.
("Harry" "is" "red" "+")
If Erin is young and Erin is furry then Erin is quiet.
((("Erin" "is" "young" "+") ("Erin" "is" "furry" "+")) -> ("Erin" "is" "quiet" "+"))
All young things are green.
((("something" "is" "young" "+")) -> ("something" "is" "green" "+"))
Green, red things are not smart.
((("something" "is" "green" "+") ("something" "is" "red" "+")) -> ("something" "is" "smart" "-"))
Charlie is not quiet.
True
1
proof
[(triple1)]
("Charlie" "is" "quiet" "-")
triple1
Erin is not green.
False
1
inv-proof
[(triple6 OR ((triple7) -> rule2))]
("Erin" "is" "green" "-")
triple6
((triple7) -> (rule2 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Charlie is green.
True
2
proof
[(((triple3) -> rule2))]
("Charlie" "is" "green" "+")
((triple3) -> (rule2 % int1))
Charlie is green.
("Charlie" "is" "green" "+")
int1
Charlie is not green.
False
2
inv-proof
[(((triple3) -> rule2))]
("Charlie" "is" "green" "-")
((triple3) -> (rule2 % int1))
Charlie is green.
("Charlie" "is" "green" "+")
int1
Charlie is not smart.
True
4
proof
[(((((triple3) -> rule2) triple2) -> rule3))]
("Charlie" "is" "smart" "-")
((((triple3) -> (rule2 % int2)) triple2) -> (rule3 % int1))
Charlie is not smart.
("Charlie" "is" "smart" "-")
int1
Charlie is green.
("Charlie" "is" "green" "+")
int2
Charlie is smart.
False
4
inv-proof
[(((((triple3) -> rule2) triple2) -> rule3))]
("Charlie" "is" "smart" "+")
((((triple3) -> (rule2 % int2)) triple2) -> (rule3 % int1))
Charlie is not smart.
("Charlie" "is" "smart" "-")
int1
Charlie is green.
("Charlie" "is" "green" "+")
int2
Harry is not cold.
Unknown
inv-random
[@0: Harry is cold.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "cold" "-")
Charlie is cold.
Unknown
random
[@0: Charlie is cold.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "cold" "+")
Harry is not young.
Unknown
inv-random
[@0: Harry is young.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "young" "-")
Erin is red.
Unknown
random
[@0: Erin is red.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "red" "+")
Harry is not furry.
Unknown
inv-random
[@0: Harry is furry.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "furry" "-")
Erin is smart.
Unknown
random
[@0: Erin is smart.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "smart" "+")
@0: Charlie is not quiet.[(triple1)] Charlie is red.[(triple2)] Charlie is young.[(triple3)] Erin is cold.[(triple4)] Erin is furry.[(triple5)] Erin is green.[(triple6 OR ((triple7) -> rule2))] Erin is young.[(triple7)] Harry is green.[(triple8)] Harry is quiet.[(triple9)] Harry is red.[(triple10)] @1: Charlie is green.[(((triple3) -> rule2))] Erin is quiet.[(((triple7 triple5) -> rule1))] Harry is not smart.[(((triple8 triple10) -> rule3))] @2: Charlie is not smart.[(((((triple3) -> rule2) triple2) -> rule3))]
Charlie is not quiet.
("Charlie" "is" "quiet" "-")
triple1
Charlie is red.
("Charlie" "is" "red" "+")
triple2
Charlie is young.
("Charlie" "is" "young" "+")
triple3
Erin is cold.
("Erin" "is" "cold" "+")
triple4
Erin is furry.
("Erin" "is" "furry" "+")
triple5
Erin is green.
("Erin" "is" "green" "+")
triple6
((triple7) -> (rule2 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Erin is young.
("Erin" "is" "young" "+")
triple7
Harry is green.
("Harry" "is" "green" "+")
triple8
Harry is quiet.
("Harry" "is" "quiet" "+")
triple9
Harry is red.
("Harry" "is" "red" "+")
triple10
Charlie is green.
("Charlie" "is" "green" "+")
((triple3) -> (rule2 % int1))
Charlie is green.
("Charlie" "is" "green" "+")
int1
Erin is quiet.
("Erin" "is" "quiet" "+")
((triple7 triple5) -> (rule1 % int1))
Erin is quiet.
("Erin" "is" "quiet" "+")
int1
Harry is not smart.
("Harry" "is" "smart" "-")
((triple8 triple10) -> (rule3 % int1))
Harry is not smart.
("Harry" "is" "smart" "-")
int1
Charlie is not smart.
("Charlie" "is" "smart" "-")
((((triple3) -> (rule2 % int2)) triple2) -> (rule3 % int1))
Charlie is not smart.
("Charlie" "is" "smart" "-")
int1
Charlie is green.
("Charlie" "is" "green" "+")
int2