Anne is big. Bob is round. Fiona is rough. Harry is young. Young, kind things are furry. All round things are young. If Bob is rough and Bob is kind then Bob is furry. All furry things are round. All furry things are green. If Bob is furry then Bob is rough. All big, green things are furry. If Fiona is green and Fiona is kind then Fiona is furry.
Anne is big.
("Anne" "is" "big" "+")
Bob is round.
("Bob" "is" "round" "+")
Fiona is rough.
("Fiona" "is" "rough" "+")
Harry is young.
("Harry" "is" "young" "+")
Young, kind things are furry.
((("something" "is" "young" "+") ("something" "is" "kind" "+")) -> ("something" "is" "furry" "+"))
All round things are young.
((("something" "is" "round" "+")) -> ("something" "is" "young" "+"))
If Bob is rough and Bob is kind then Bob is furry.
((("Bob" "is" "rough" "+") ("Bob" "is" "kind" "+")) -> ("Bob" "is" "furry" "+"))
All furry things are round.
((("something" "is" "furry" "+")) -> ("something" "is" "round" "+"))
All furry things are green.
((("something" "is" "furry" "+")) -> ("something" "is" "green" "+"))
If Bob is furry then Bob is rough.
((("Bob" "is" "furry" "+")) -> ("Bob" "is" "rough" "+"))
All big, green things are furry.
((("something" "is" "big" "+") ("something" "is" "green" "+")) -> ("something" "is" "furry" "+"))
If Fiona is green and Fiona is kind then Fiona is furry.
((("Fiona" "is" "green" "+") ("Fiona" "is" "kind" "+")) -> ("Fiona" "is" "furry" "+"))
Anne is big.
True
1
proof
[(triple1)]
("Anne" "is" "big" "+")
triple1
Harry is not young.
False
1
inv-proof
[(triple4)]
("Harry" "is" "young" "-")
triple4
Bob is young.
True
2
proof
[(((triple2) -> rule2))]
("Bob" "is" "young" "+")
((triple2) -> (rule2 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Bob is not young.
False
2
inv-proof
[(((triple2) -> rule2))]
("Bob" "is" "young" "-")
((triple2) -> (rule2 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Harry is not round.
Unknown
inv-rconc
[@2: Harry is round.[CWA. Example of deepest failure = (rule4 <- rule1 <- FAIL)]]
("Harry" "is" "round" "-")
Bob is furry.
Unknown
rconc
[@1: Bob is furry.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Bob" "is" "furry" "+")
Harry is not kind.
Unknown
inv-random
[@0: Harry is kind.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "kind" "-")
Harry is big.
Unknown
random
[@0: Harry is big.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "big" "+")
@0: Anne is big.[(triple1)] Bob is round.[(triple2)] Fiona is rough.[(triple3)] Harry is young.[(triple4)] @1: Bob is young.[(((triple2) -> rule2))]
Anne is big.
("Anne" "is" "big" "+")
triple1
Bob is round.
("Bob" "is" "round" "+")
triple2
Fiona is rough.
("Fiona" "is" "rough" "+")
triple3
Harry is young.
("Harry" "is" "young" "+")
triple4
Bob is young.
("Bob" "is" "young" "+")
((triple2) -> (rule2 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1