Dave is blue. Dave is furry. Dave is young. Erin is blue. Erin is furry. Erin is nice. Erin is rough. Erin is round. Erin is young. Harry is nice. If something is furry then it is rough. All nice, blue things are red. All blue, nice things are rough. If something is round then it is nice. If Harry is rough and Harry is nice then Harry is round. If something is round and blue then it is nice. If something is nice then it is red. If something is round then it is young.
Dave is blue.
("Dave" "is" "blue" "+")
Dave is furry.
("Dave" "is" "furry" "+")
Dave is young.
("Dave" "is" "young" "+")
Erin is blue.
("Erin" "is" "blue" "+")
Erin is furry.
("Erin" "is" "furry" "+")
Erin is nice.
("Erin" "is" "nice" "+")
Erin is rough.
("Erin" "is" "rough" "+")
Erin is round.
("Erin" "is" "round" "+")
Erin is young.
("Erin" "is" "young" "+")
Harry is nice.
("Harry" "is" "nice" "+")
If something is furry then it is rough.
((("something" "is" "furry" "+")) -> ("something" "is" "rough" "+"))
All nice, blue things are red.
((("something" "is" "nice" "+") ("something" "is" "blue" "+")) -> ("something" "is" "red" "+"))
All blue, nice things are rough.
((("something" "is" "blue" "+") ("something" "is" "nice" "+")) -> ("something" "is" "rough" "+"))
If something is round then it is nice.
((("something" "is" "round" "+")) -> ("something" "is" "nice" "+"))
If Harry is rough and Harry is nice then Harry is round.
((("Harry" "is" "rough" "+") ("Harry" "is" "nice" "+")) -> ("Harry" "is" "round" "+"))
If something is round and blue then it is nice.
((("something" "is" "round" "+") ("something" "is" "blue" "+")) -> ("something" "is" "nice" "+"))
If something is nice then it is red.
((("something" "is" "nice" "+")) -> ("something" "is" "red" "+"))
If something is round then it is young.
((("something" "is" "round" "+")) -> ("something" "is" "young" "+"))
Erin is blue.
True
1
proof
[(triple4)]
("Erin" "is" "blue" "+")
triple4
Dave is not furry.
False
1
inv-proof
[(triple2)]
("Dave" "is" "furry" "-")
triple2
Dave is rough.
True
2
proof
[(((triple2) -> rule1))]
("Dave" "is" "rough" "+")
((triple2) -> (rule1 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Harry is not red.
False
2
inv-proof
[(((triple10) -> rule7))]
("Harry" "is" "red" "-")
((triple10) -> (rule7 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1
Dave is not nice.
Unknown
inv-rconc
[@1: Dave is nice.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Dave" "is" "nice" "-")
Harry is round.
Unknown
rconc
[@2: Harry is round.[CWA. Example of deepest failure = (rule5 <- rule1 <- FAIL)]]
("Harry" "is" "round" "+")
Dave is not round.
Unknown
inv-random
[@0: Dave is round.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "round" "-")
Harry is furry.
Unknown
random
[@0: Harry is furry.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "furry" "+")
@0: Dave is blue.[(triple1)] Dave is furry.[(triple2)] Dave is young.[(triple3)] Erin is blue.[(triple4)] Erin is furry.[(triple5)] Erin is nice.[(triple6 OR ((triple8) -> rule4) OR ((triple8 triple4) -> rule6))] Erin is rough.[(triple7 OR ((triple5) -> rule1) OR ((triple4 triple6) -> rule3) OR ((triple4 ((triple8) -> rule4)) -> rule3) OR ((triple4 ((triple8 triple4) -> rule6)) -> rule3))] Erin is round.[(triple8)] Erin is young.[(triple9 OR ((triple8) -> rule8))] Harry is nice.[(triple10)] @1: Dave is rough.[(((triple2) -> rule1))] Erin is red.[(((triple6) -> rule7) OR ((triple6 triple4) -> rule2) OR ((((triple8) -> rule4)) -> rule7) OR ((((triple8 triple4) -> rule6)) -> rule7) OR ((((triple8) -> rule4) triple4) -> rule2) OR ((((triple8 triple4) -> rule6) triple4) -> rule2))] Harry is red.[(((triple10) -> rule7))]
Dave is blue.
("Dave" "is" "blue" "+")
triple1
Dave is furry.
("Dave" "is" "furry" "+")
triple2
Dave is young.
("Dave" "is" "young" "+")
triple3
Erin is blue.
("Erin" "is" "blue" "+")
triple4
Erin is furry.
("Erin" "is" "furry" "+")
triple5
Erin is nice.
("Erin" "is" "nice" "+")
triple6
((triple8) -> (rule4 % int1))
Erin is nice.
("Erin" "is" "nice" "+")
int1
((triple8 triple4) -> (rule6 % int1))
Erin is nice.
("Erin" "is" "nice" "+")
int1
Erin is rough.
("Erin" "is" "rough" "+")
triple7
((triple5) -> (rule1 % int1))
Erin is rough.
("Erin" "is" "rough" "+")
int1
((triple4 triple6) -> (rule3 % int1))
Erin is rough.
("Erin" "is" "rough" "+")
int1
((triple4 ((triple8) -> (rule4 % int2))) -> (rule3 % int1))
Erin is rough.
("Erin" "is" "rough" "+")
int1
Erin is nice.
("Erin" "is" "nice" "+")
int2
((triple4 ((triple8 triple4) -> (rule6 % int2))) -> (rule3 % int1))
Erin is rough.
("Erin" "is" "rough" "+")
int1
Erin is nice.
("Erin" "is" "nice" "+")
int2
Erin is round.
("Erin" "is" "round" "+")
triple8
Erin is young.
("Erin" "is" "young" "+")
triple9
((triple8) -> (rule8 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Harry is nice.
("Harry" "is" "nice" "+")
triple10
Dave is rough.
("Dave" "is" "rough" "+")
((triple2) -> (rule1 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Erin is red.
("Erin" "is" "red" "+")
((triple6) -> (rule7 % int1))
Erin is red.
("Erin" "is" "red" "+")
int1
((triple6 triple4) -> (rule2 % int1))
Erin is red.
("Erin" "is" "red" "+")
int1
((((triple8) -> (rule4 % int2))) -> (rule7 % int1))
Erin is red.
("Erin" "is" "red" "+")
int1
Erin is nice.
("Erin" "is" "nice" "+")
int2
((((triple8 triple4) -> (rule6 % int2))) -> (rule7 % int1))
Erin is red.
("Erin" "is" "red" "+")
int1
Erin is nice.
("Erin" "is" "nice" "+")
int2
((((triple8) -> (rule4 % int2)) triple4) -> (rule2 % int1))
Erin is red.
("Erin" "is" "red" "+")
int1
Erin is nice.
("Erin" "is" "nice" "+")
int2
((((triple8 triple4) -> (rule6 % int2)) triple4) -> (rule2 % int1))
Erin is red.
("Erin" "is" "red" "+")
int1
Erin is nice.
("Erin" "is" "nice" "+")
int2
Harry is red.
("Harry" "is" "red" "+")
((triple10) -> (rule7 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1