Anne is quiet. Bob is quiet. Bob is young. Charlie is young. Erin is big. Erin is furry. Erin is young. All round people are rough. All furry people are red. Rough, furry people are young. Red people are big. All young, big people are red. Rough, young people are big.
Anne is quiet.
("Anne" "is" "quiet" "+")
Bob is quiet.
("Bob" "is" "quiet" "+")
Bob is young.
("Bob" "is" "young" "+")
Charlie is young.
("Charlie" "is" "young" "+")
Erin is big.
("Erin" "is" "big" "+")
Erin is furry.
("Erin" "is" "furry" "+")
Erin is young.
("Erin" "is" "young" "+")
All round people are rough.
((("someone" "is" "round" "+")) -> ("someone" "is" "rough" "+"))
All furry people are red.
((("someone" "is" "furry" "+")) -> ("someone" "is" "red" "+"))
Rough, furry people are young.
((("someone" "is" "rough" "+") ("someone" "is" "furry" "+")) -> ("someone" "is" "young" "+"))
Red people are big.
((("someone" "is" "red" "+")) -> ("someone" "is" "big" "+"))
All young, big people are red.
((("someone" "is" "young" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "red" "+"))
Rough, young people are big.
((("someone" "is" "rough" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "big" "+"))
Bob is young.
True
1
proof
[(triple3)]
("Bob" "is" "young" "+")
triple3
Bob is not young.
False
1
inv-proof
[(triple3)]
("Bob" "is" "young" "-")
triple3
Charlie is not red.
Unknown
inv-rconc
[@3: Charlie is red.[CWA. Example of deepest failure = (rule5 <- rule4 <- rule2 <- FAIL)]]
("Charlie" "is" "red" "-")
Charlie is quiet.
Unknown
random
[@0: Charlie is quiet.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "quiet" "+")
@0: Anne is quiet.[(triple1)] Bob is quiet.[(triple2)] Bob is young.[(triple3)] Charlie is young.[(triple4)] Erin is big.[(triple5 OR ((((triple6) -> rule2)) -> rule4))] Erin is furry.[(triple6)] Erin is young.[(triple7)] @1: Erin is red.[(((triple6) -> rule2) OR ((triple7 triple5) -> rule5))]
Anne is quiet.
("Anne" "is" "quiet" "+")
triple1
Bob is quiet.
("Bob" "is" "quiet" "+")
triple2
Bob is young.
("Bob" "is" "young" "+")
triple3
Charlie is young.
("Charlie" "is" "young" "+")
triple4
Erin is big.
("Erin" "is" "big" "+")
triple5
((((triple6) -> (rule2 % int2))) -> (rule4 % int1))
Erin is big.
("Erin" "is" "big" "+")
int1
Erin is red.
("Erin" "is" "red" "+")
int2
Erin is furry.
("Erin" "is" "furry" "+")
triple6
Erin is young.
("Erin" "is" "young" "+")
triple7
Erin is red.
("Erin" "is" "red" "+")
((triple6) -> (rule2 % int1))
Erin is red.
("Erin" "is" "red" "+")
int1
((triple7 triple5) -> (rule5 % int1))
Erin is red.
("Erin" "is" "red" "+")
int1