Anne is big. Anne is round. Bob is nice. Bob is red. Bob is round. Gary is blue. Harry is red. If someone is nice then they are green. All red people are nice. If someone is blue then they are smart. If someone is big and round then they are nice. If someone is blue and red then they are green. Red, green people are nice.
Anne is big.
("Anne" "is" "big" "+")
Anne is round.
("Anne" "is" "round" "+")
Bob is nice.
("Bob" "is" "nice" "+")
Bob is red.
("Bob" "is" "red" "+")
Bob is round.
("Bob" "is" "round" "+")
Gary is blue.
("Gary" "is" "blue" "+")
Harry is red.
("Harry" "is" "red" "+")
If someone is nice then they are green.
((("someone" "is" "nice" "+")) -> ("someone" "is" "green" "+"))
All red people are nice.
((("someone" "is" "red" "+")) -> ("someone" "is" "nice" "+"))
If someone is blue then they are smart.
((("someone" "is" "blue" "+")) -> ("someone" "is" "smart" "+"))
If someone is big and round then they are nice.
((("someone" "is" "big" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "nice" "+"))
If someone is blue and red then they are green.
((("someone" "is" "blue" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "green" "+"))
Red, green people are nice.
((("someone" "is" "red" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "nice" "+"))
Harry is red.
True
1
proof
[(triple7)]
("Harry" "is" "red" "+")
triple7
Anne is not big.
False
1
inv-proof
[(triple1)]
("Anne" "is" "big" "-")
triple1
Gary is not nice.
Unknown
inv-rconc
[@1: Gary is nice.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Gary" "is" "nice" "-")
Harry is round.
Unknown
random
[@0: Harry is round.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "round" "+")
@0: Anne is big.[(triple1)] Anne is round.[(triple2)] Bob is nice.[(triple3 OR ((triple4) -> rule2))] Bob is red.[(triple4)] Bob is round.[(triple5)] Gary is blue.[(triple6)] Harry is red.[(triple7)] @1: Anne is nice.[(((triple1 triple2) -> rule4))] Bob is green.[(((triple3) -> rule1) OR ((((triple4) -> rule2)) -> rule1))] Gary is smart.[(((triple6) -> rule3))] Harry is nice.[(((triple7) -> rule2))] @2: Anne is green.[(((((triple1 triple2) -> rule4)) -> rule1))] Harry is green.[(((((triple7) -> rule2)) -> rule1))]
Anne is big.
("Anne" "is" "big" "+")
triple1
Anne is round.
("Anne" "is" "round" "+")
triple2
Bob is nice.
("Bob" "is" "nice" "+")
triple3
((triple4) -> (rule2 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is red.
("Bob" "is" "red" "+")
triple4
Bob is round.
("Bob" "is" "round" "+")
triple5
Gary is blue.
("Gary" "is" "blue" "+")
triple6
Harry is red.
("Harry" "is" "red" "+")
triple7
Anne is nice.
("Anne" "is" "nice" "+")
((triple1 triple2) -> (rule4 % int1))
Anne is nice.
("Anne" "is" "nice" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
((triple3) -> (rule1 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
((((triple4) -> (rule2 % int2))) -> (rule1 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Bob is nice.
("Bob" "is" "nice" "+")
int2
Gary is smart.
("Gary" "is" "smart" "+")
((triple6) -> (rule3 % int1))
Gary is smart.
("Gary" "is" "smart" "+")
int1
Harry is nice.
("Harry" "is" "nice" "+")
((triple7) -> (rule2 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Anne is green.
("Anne" "is" "green" "+")
((((triple1 triple2) -> (rule4 % int2))) -> (rule1 % int1))
Anne is green.
("Anne" "is" "green" "+")
int1
Anne is nice.
("Anne" "is" "nice" "+")
int2
Harry is green.
("Harry" "is" "green" "+")
((((triple7) -> (rule2 % int2))) -> (rule1 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Harry is nice.
("Harry" "is" "nice" "+")
int2