Dave is rough. Dave is white. Erin is blue. Erin is furry. Erin is red. Erin is rough. Erin is smart. Erin is white. Erin is young. Gary is blue. Gary is furry. Gary is white. If someone is young then they are smart. All red people are rough. If Dave is white then Dave is furry. Blue people are young. Blue, smart people are white. If Dave is young and Dave is blue then Dave is rough.
Dave is rough.
("Dave" "is" "rough" "+")
Dave is white.
("Dave" "is" "white" "+")
Erin is blue.
("Erin" "is" "blue" "+")
Erin is furry.
("Erin" "is" "furry" "+")
Erin is red.
("Erin" "is" "red" "+")
Erin is rough.
("Erin" "is" "rough" "+")
Erin is smart.
("Erin" "is" "smart" "+")
Erin is white.
("Erin" "is" "white" "+")
Erin is young.
("Erin" "is" "young" "+")
Gary is blue.
("Gary" "is" "blue" "+")
Gary is furry.
("Gary" "is" "furry" "+")
Gary is white.
("Gary" "is" "white" "+")
If someone is young then they are smart.
((("someone" "is" "young" "+")) -> ("someone" "is" "smart" "+"))
All red people are rough.
((("someone" "is" "red" "+")) -> ("someone" "is" "rough" "+"))
If Dave is white then Dave is furry.
((("Dave" "is" "white" "+")) -> ("Dave" "is" "furry" "+"))
Blue people are young.
((("someone" "is" "blue" "+")) -> ("someone" "is" "young" "+"))
Blue, smart people are white.
((("someone" "is" "blue" "+") ("someone" "is" "smart" "+")) -> ("someone" "is" "white" "+"))
If Dave is young and Dave is blue then Dave is rough.
((("Dave" "is" "young" "+") ("Dave" "is" "blue" "+")) -> ("Dave" "is" "rough" "+"))
Erin is red.
True
1
proof
[(triple5)]
("Erin" "is" "red" "+")
triple5
Erin is not blue.
False
1
inv-proof
[(triple3)]
("Erin" "is" "blue" "-")
triple3
Gary is not rough.
Unknown
inv-rconc
[@1: Gary is rough.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Gary" "is" "rough" "-")
Gary is red.
Unknown
random
[@0: Gary is red.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "red" "+")
@0: Dave is rough.[(triple1)] Dave is white.[(triple2)] Erin is blue.[(triple3)] Erin is furry.[(triple4)] Erin is red.[(triple5)] Erin is rough.[(triple6 OR ((triple5) -> rule2))] Erin is smart.[(triple7 OR ((triple9) -> rule1) OR ((((triple3) -> rule4)) -> rule1))] Erin is white.[(triple8 OR ((triple3 triple7) -> rule5) OR ((triple3 ((triple9) -> rule1)) -> rule5) OR ((triple3 ((((triple3) -> rule4)) -> rule1)) -> rule5))] Erin is young.[(triple9 OR ((triple3) -> rule4))] Gary is blue.[(triple10)] Gary is furry.[(triple11)] Gary is white.[(triple12 OR ((triple10 ((((triple10) -> rule4)) -> rule1)) -> rule5))] @1: Dave is furry.[(((triple2) -> rule3))] Gary is young.[(((triple10) -> rule4))] @2: Gary is smart.[(((((triple10) -> rule4)) -> rule1))]
Dave is rough.
("Dave" "is" "rough" "+")
triple1
Dave is white.
("Dave" "is" "white" "+")
triple2
Erin is blue.
("Erin" "is" "blue" "+")
triple3
Erin is furry.
("Erin" "is" "furry" "+")
triple4
Erin is red.
("Erin" "is" "red" "+")
triple5
Erin is rough.
("Erin" "is" "rough" "+")
triple6
((triple5) -> (rule2 % int1))
Erin is rough.
("Erin" "is" "rough" "+")
int1
Erin is smart.
("Erin" "is" "smart" "+")
triple7
((triple9) -> (rule1 % int1))
Erin is smart.
("Erin" "is" "smart" "+")
int1
((((triple3) -> (rule4 % int2))) -> (rule1 % int1))
Erin is smart.
("Erin" "is" "smart" "+")
int1
Erin is young.
("Erin" "is" "young" "+")
int2
Erin is white.
("Erin" "is" "white" "+")
triple8
((triple3 triple7) -> (rule5 % int1))
Erin is white.
("Erin" "is" "white" "+")
int1
((triple3 ((triple9) -> (rule1 % int2))) -> (rule5 % int1))
Erin is white.
("Erin" "is" "white" "+")
int1
Erin is smart.
("Erin" "is" "smart" "+")
int2
((triple3 ((((triple3) -> (rule4 % int3))) -> (rule1 % int2))) -> (rule5 % int1))
Erin is white.
("Erin" "is" "white" "+")
int1
Erin is smart.
("Erin" "is" "smart" "+")
int2
Erin is young.
("Erin" "is" "young" "+")
int3
Erin is young.
("Erin" "is" "young" "+")
triple9
((triple3) -> (rule4 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Gary is blue.
("Gary" "is" "blue" "+")
triple10
Gary is furry.
("Gary" "is" "furry" "+")
triple11
Gary is white.
("Gary" "is" "white" "+")
triple12
((triple10 ((((triple10) -> (rule4 % int3))) -> (rule1 % int2))) -> (rule5 % int1))
Gary is white.
("Gary" "is" "white" "+")
int1
Gary is smart.
("Gary" "is" "smart" "+")
int2
Gary is young.
("Gary" "is" "young" "+")
int3
Dave is furry.
("Dave" "is" "furry" "+")
((triple2) -> (rule3 % int1))
Dave is furry.
("Dave" "is" "furry" "+")
int1
Gary is young.
("Gary" "is" "young" "+")
((triple10) -> (rule4 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is smart.
("Gary" "is" "smart" "+")
((((triple10) -> (rule4 % int2))) -> (rule1 % int1))
Gary is smart.
("Gary" "is" "smart" "+")
int1
Gary is young.
("Gary" "is" "young" "+")
int2