Anne is big. Bob is round. Harry is big. Round people are big. If Harry is blue and Harry is young then Harry is quiet. All green, quiet people are nice. All green people are round. All quiet people are big. All blue, big people are quiet.
Anne is big.
("Anne" "is" "big" "+")
Bob is round.
("Bob" "is" "round" "+")
Harry is big.
("Harry" "is" "big" "+")
Round people are big.
((("someone" "is" "round" "+")) -> ("someone" "is" "big" "+"))
If Harry is blue and Harry is young then Harry is quiet.
((("Harry" "is" "blue" "+") ("Harry" "is" "young" "+")) -> ("Harry" "is" "quiet" "+"))
All green, quiet people are nice.
((("someone" "is" "green" "+") ("someone" "is" "quiet" "+")) -> ("someone" "is" "nice" "+"))
All green people are round.
((("someone" "is" "green" "+")) -> ("someone" "is" "round" "+"))
All quiet people are big.
((("someone" "is" "quiet" "+")) -> ("someone" "is" "big" "+"))
All blue, big people are quiet.
((("someone" "is" "blue" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "quiet" "+"))
Bob is round.
True
1
proof
[(triple2)]
("Bob" "is" "round" "+")
triple2
Bob is not round.
False
1
inv-proof
[(triple2)]
("Bob" "is" "round" "-")
triple2
Bob is big.
True
2
proof
[(((triple2) -> rule1))]
("Bob" "is" "big" "+")
((triple2) -> (rule1 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is not big.
False
2
inv-proof
[(((triple2) -> rule1))]
("Bob" "is" "big" "-")
((triple2) -> (rule1 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is not quiet.
Unknown
inv-rconc
[@1: Bob is quiet.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("Bob" "is" "quiet" "-")
Harry is round.
Unknown
rconc
[@1: Harry is round.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Harry" "is" "round" "+")
Bob is not young.
Unknown
inv-random
[@0: Bob is young.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "young" "-")
Harry is blue.
Unknown
random
[@0: Harry is blue.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "blue" "+")
@0: Anne is big.[(triple1)] Bob is round.[(triple2)] Harry is big.[(triple3)] @1: Bob is big.[(((triple2) -> rule1))]
Anne is big.
("Anne" "is" "big" "+")
triple1
Bob is round.
("Bob" "is" "round" "+")
triple2
Harry is big.
("Harry" "is" "big" "+")
triple3
Bob is big.
("Bob" "is" "big" "+")
((triple2) -> (rule1 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1