Dave is green. Dave is kind. Dave is rough. Dave is white. Erin is cold. Erin is furry. Erin is green. Erin is kind. Erin is rough. Erin is young. If someone is green and furry then they are cold. If someone is kind and green then they are young. Furry, kind people are young.
Dave is green.
("Dave" "is" "green" "+")
Dave is kind.
("Dave" "is" "kind" "+")
Dave is rough.
("Dave" "is" "rough" "+")
Dave is white.
("Dave" "is" "white" "+")
Erin is cold.
("Erin" "is" "cold" "+")
Erin is furry.
("Erin" "is" "furry" "+")
Erin is green.
("Erin" "is" "green" "+")
Erin is kind.
("Erin" "is" "kind" "+")
Erin is rough.
("Erin" "is" "rough" "+")
Erin is young.
("Erin" "is" "young" "+")
If someone is green and furry then they are cold.
((("someone" "is" "green" "+") ("someone" "is" "furry" "+")) -> ("someone" "is" "cold" "+"))
If someone is kind and green then they are young.
((("someone" "is" "kind" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "young" "+"))
Furry, kind people are young.
((("someone" "is" "furry" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "young" "+"))
Dave is white.
True
1
proof
[(triple4)]
("Dave" "is" "white" "+")
triple4
Erin is not rough.
False
1
inv-proof
[(triple9)]
("Erin" "is" "rough" "-")
triple9
Dave is young.
True
3
proof
[(((triple2 triple1) -> rule2))]
("Dave" "is" "young" "+")
((triple2 triple1) -> (rule2 % int1))
Dave is young.
("Dave" "is" "young" "+")
int1
Dave is not young.
False
3
inv-proof
[(((triple2 triple1) -> rule2))]
("Dave" "is" "young" "-")
((triple2 triple1) -> (rule2 % int1))
Dave is young.
("Dave" "is" "young" "+")
int1
Dave is not cold.
Unknown
inv-rconc
[@1: Dave is cold.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Dave" "is" "cold" "-")
Dave is furry.
Unknown
random
[@0: Dave is furry.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "furry" "+")
@0: Dave is green.[(triple1)] Dave is kind.[(triple2)] Dave is rough.[(triple3)] Dave is white.[(triple4)] Erin is cold.[(triple5 OR ((triple7 triple6) -> rule1))] Erin is furry.[(triple6)] Erin is green.[(triple7)] Erin is kind.[(triple8)] Erin is rough.[(triple9)] Erin is young.[(triple10 OR ((triple6 triple8) -> rule3) OR ((triple8 triple7) -> rule2))] @1: Dave is young.[(((triple2 triple1) -> rule2))]
Dave is green.
("Dave" "is" "green" "+")
triple1
Dave is kind.
("Dave" "is" "kind" "+")
triple2
Dave is rough.
("Dave" "is" "rough" "+")
triple3
Dave is white.
("Dave" "is" "white" "+")
triple4
Erin is cold.
("Erin" "is" "cold" "+")
triple5
((triple7 triple6) -> (rule1 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
Erin is furry.
("Erin" "is" "furry" "+")
triple6
Erin is green.
("Erin" "is" "green" "+")
triple7
Erin is kind.
("Erin" "is" "kind" "+")
triple8
Erin is rough.
("Erin" "is" "rough" "+")
triple9
Erin is young.
("Erin" "is" "young" "+")
triple10
((triple6 triple8) -> (rule3 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
((triple8 triple7) -> (rule2 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Dave is young.
("Dave" "is" "young" "+")
((triple2 triple1) -> (rule2 % int1))
Dave is young.
("Dave" "is" "young" "+")
int1