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