Bob is big. Bob is cold. Bob is red. Bob is rough. Dave is rough. Erin is furry. Erin is green. Harry is big. Harry is green. Harry is red. All rough people are young. If Erin is furry then Erin is red.
Bob is big.
("Bob" "is" "big" "+")
Bob is cold.
("Bob" "is" "cold" "+")
Bob is red.
("Bob" "is" "red" "+")
Bob is rough.
("Bob" "is" "rough" "+")
Dave is rough.
("Dave" "is" "rough" "+")
Erin is furry.
("Erin" "is" "furry" "+")
Erin is green.
("Erin" "is" "green" "+")
Harry is big.
("Harry" "is" "big" "+")
Harry is green.
("Harry" "is" "green" "+")
Harry is red.
("Harry" "is" "red" "+")
All rough people are young.
((("someone" "is" "rough" "+")) -> ("someone" "is" "young" "+"))
If Erin is furry then Erin is red.
((("Erin" "is" "furry" "+")) -> ("Erin" "is" "red" "+"))
Erin is furry.
True
1
proof
[(triple6)]
("Erin" "is" "furry" "+")
triple6
Bob is not cold.
False
1
inv-proof
[(triple2)]
("Bob" "is" "cold" "-")
triple2
Dave is young.
True
2
proof
[(((triple5) -> rule1))]
("Dave" "is" "young" "+")
((triple5) -> (rule1 % int1))
Dave is young.
("Dave" "is" "young" "+")
int1
Bob is not young.
False
2
inv-proof
[(((triple4) -> rule1))]
("Bob" "is" "young" "-")
((triple4) -> (rule1 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Erin is not young.
Unknown
inv-rconc
[@1: Erin is young.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Erin" "is" "young" "-")
Harry is young.
Unknown
rconc
[@1: Harry is young.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Harry" "is" "young" "+")
Dave is not red.
Unknown
inv-random
[@0: Dave is red.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "red" "-")
Dave is cold.
Unknown
random
[@0: Dave is cold.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "cold" "+")
@0: Bob is big.[(triple1)] Bob is cold.[(triple2)] Bob is red.[(triple3)] Bob is rough.[(triple4)] Dave is rough.[(triple5)] Erin is furry.[(triple6)] Erin is green.[(triple7)] Harry is big.[(triple8)] Harry is green.[(triple9)] Harry is red.[(triple10)] @1: Bob is young.[(((triple4) -> rule1))] Dave is young.[(((triple5) -> rule1))] Erin is red.[(((triple6) -> rule2))]
Bob is big.
("Bob" "is" "big" "+")
triple1
Bob is cold.
("Bob" "is" "cold" "+")
triple2
Bob is red.
("Bob" "is" "red" "+")
triple3
Bob is rough.
("Bob" "is" "rough" "+")
triple4
Dave is rough.
("Dave" "is" "rough" "+")
triple5
Erin is furry.
("Erin" "is" "furry" "+")
triple6
Erin is green.
("Erin" "is" "green" "+")
triple7
Harry is big.
("Harry" "is" "big" "+")
triple8
Harry is green.
("Harry" "is" "green" "+")
triple9
Harry is red.
("Harry" "is" "red" "+")
triple10
Bob is young.
("Bob" "is" "young" "+")
((triple4) -> (rule1 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Dave is young.
("Dave" "is" "young" "+")
((triple5) -> (rule1 % int1))
Dave is young.
("Dave" "is" "young" "+")
int1
Erin is red.
("Erin" "is" "red" "+")
((triple6) -> (rule2 % int1))
Erin is red.
("Erin" "is" "red" "+")
int1