Dave is big. Dave is furry. Dave is green. Dave is quiet. Dave is not red. Dave is smart. Erin is big. Erin is furry. Erin is red. Harry is big. Harry is furry. Harry is green. Harry is quiet. Harry is red. Harry is smart. If Erin is furry then Erin is green. If Dave is big and Dave is smart then Dave is furry. If Dave is kind and Dave is big then Dave is furry. If Dave is smart and Dave is red then Dave is not green. If Dave is red then Dave is green. Green, red people are smart. All furry people are green. All red people are quiet.
Dave is big.
("Dave" "is" "big" "+")
Dave is furry.
("Dave" "is" "furry" "+")
Dave is green.
("Dave" "is" "green" "+")
Dave is quiet.
("Dave" "is" "quiet" "+")
Dave is not red.
("Dave" "is" "red" "-")
Dave is smart.
("Dave" "is" "smart" "+")
Erin is big.
("Erin" "is" "big" "+")
Erin is furry.
("Erin" "is" "furry" "+")
Erin is red.
("Erin" "is" "red" "+")
Harry is big.
("Harry" "is" "big" "+")
Harry is furry.
("Harry" "is" "furry" "+")
Harry is green.
("Harry" "is" "green" "+")
Harry is quiet.
("Harry" "is" "quiet" "+")
Harry is red.
("Harry" "is" "red" "+")
Harry is smart.
("Harry" "is" "smart" "+")
If Erin is furry then Erin is green.
((("Erin" "is" "furry" "+")) -> ("Erin" "is" "green" "+"))
If Dave is big and Dave is smart then Dave is furry.
((("Dave" "is" "big" "+") ("Dave" "is" "smart" "+")) -> ("Dave" "is" "furry" "+"))
If Dave is kind and Dave is big then Dave is furry.
((("Dave" "is" "kind" "+") ("Dave" "is" "big" "+")) -> ("Dave" "is" "furry" "+"))
If Dave is smart and Dave is red then Dave is not green.
((("Dave" "is" "smart" "+") ("Dave" "is" "red" "+")) -> ("Dave" "is" "green" "-"))
If Dave is red then Dave is green.
((("Dave" "is" "red" "+")) -> ("Dave" "is" "green" "+"))
Green, red people are smart.
((("someone" "is" "green" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "smart" "+"))
All furry people are green.
((("someone" "is" "furry" "+")) -> ("someone" "is" "green" "+"))
All red people are quiet.
((("someone" "is" "red" "+")) -> ("someone" "is" "quiet" "+"))
Harry is furry.
True
1
proof
[(triple11)]
("Harry" "is" "furry" "+")
triple11
Dave is not quiet.
False
1
inv-proof
[(triple4)]
("Dave" "is" "quiet" "-")
triple4
Erin is green.
True
2
proof
[(((triple8) -> rule1) OR ((triple8) -> rule7))]
("Erin" "is" "green" "+")
((triple8) -> (rule1 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
((triple8) -> (rule7 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Erin is not quiet.
False
2
inv-proof
[(((triple9) -> rule8))]
("Erin" "is" "quiet" "-")
((triple9) -> (rule8 % int1))
Erin is quiet.
("Erin" "is" "quiet" "+")
int1
Dave is not kind.
Unknown
inv-random
[@0: Dave is kind.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "kind" "-")
Erin is kind.
Unknown
random
[@0: Erin is kind.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "kind" "+")
@0: Dave is big.[(triple1)] Dave is furry.[(triple2 OR ((triple1 triple6) -> rule2))] Dave is green.[(triple3 OR ((triple2) -> rule7) OR ((((triple1 triple6) -> rule2)) -> rule7))] Dave is not red.[(triple5)] Dave is quiet.[(triple4)] Dave is smart.[(triple6)] Erin is big.[(triple7)] Erin is furry.[(triple8)] Erin is red.[(triple9)] Harry is big.[(triple10)] Harry is furry.[(triple11)] Harry is green.[(triple12 OR ((triple11) -> rule7))] Harry is quiet.[(triple13 OR ((triple14) -> rule8))] Harry is red.[(triple14)] Harry is smart.[(triple15 OR ((triple12 triple14) -> rule6) OR ((((triple11) -> rule7) triple14) -> rule6))] @1: Erin is green.[(((triple8) -> rule1) OR ((triple8) -> rule7))] Erin is quiet.[(((triple9) -> rule8))] @2: Erin is smart.[(((((triple8) -> rule1) triple9) -> rule6) OR ((((triple8) -> rule7) triple9) -> rule6))]
Dave is big.
("Dave" "is" "big" "+")
triple1
Dave is furry.
("Dave" "is" "furry" "+")
triple2
((triple1 triple6) -> (rule2 % int1))
Dave is furry.
("Dave" "is" "furry" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
triple3
((triple2) -> (rule7 % int1))
Dave is green.
("Dave" "is" "green" "+")
int1
((((triple1 triple6) -> (rule2 % int2))) -> (rule7 % int1))
Dave is green.
("Dave" "is" "green" "+")
int1
Dave is furry.
("Dave" "is" "furry" "+")
int2
Dave is not red.
("Dave" "is" "red" "-")
triple5
Dave is quiet.
("Dave" "is" "quiet" "+")
triple4
Dave is smart.
("Dave" "is" "smart" "+")
triple6
Erin is big.
("Erin" "is" "big" "+")
triple7
Erin is furry.
("Erin" "is" "furry" "+")
triple8
Erin is red.
("Erin" "is" "red" "+")
triple9
Harry is big.
("Harry" "is" "big" "+")
triple10
Harry is furry.
("Harry" "is" "furry" "+")
triple11
Harry is green.
("Harry" "is" "green" "+")
triple12
((triple11) -> (rule7 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Harry is quiet.
("Harry" "is" "quiet" "+")
triple13
((triple14) -> (rule8 % int1))
Harry is quiet.
("Harry" "is" "quiet" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
triple14
Harry is smart.
("Harry" "is" "smart" "+")
triple15
((triple12 triple14) -> (rule6 % int1))
Harry is smart.
("Harry" "is" "smart" "+")
int1
((((triple11) -> (rule7 % int2)) triple14) -> (rule6 % int1))
Harry is smart.
("Harry" "is" "smart" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
int2
Erin is green.
("Erin" "is" "green" "+")
((triple8) -> (rule1 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
((triple8) -> (rule7 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Erin is quiet.
("Erin" "is" "quiet" "+")
((triple9) -> (rule8 % int1))
Erin is quiet.
("Erin" "is" "quiet" "+")
int1
Erin is smart.
("Erin" "is" "smart" "+")
((((triple8) -> (rule1 % int2)) triple9) -> (rule6 % int1))
Erin is smart.
("Erin" "is" "smart" "+")
int1
Erin is green.
("Erin" "is" "green" "+")
int2
((((triple8) -> (rule7 % int2)) triple9) -> (rule6 % int1))
Erin is smart.
("Erin" "is" "smart" "+")
int1
Erin is green.
("Erin" "is" "green" "+")
int2