Bob is big. Bob is furry. Bob is kind. Bob is red. Bob is young. Charlie is big. Charlie is quiet. Fiona is big. Fiona is blue. Fiona is furry. Fiona is quiet. Gary is big. Gary is blue. Gary is furry. Gary is kind. Gary is not red. If someone is furry then they are blue. If someone is big then they are kind. If someone is furry and not red then they are quiet.
Bob is big.
("Bob" "is" "big" "+")
Bob is furry.
("Bob" "is" "furry" "+")
Bob is kind.
("Bob" "is" "kind" "+")
Bob is red.
("Bob" "is" "red" "+")
Bob is young.
("Bob" "is" "young" "+")
Charlie is big.
("Charlie" "is" "big" "+")
Charlie is quiet.
("Charlie" "is" "quiet" "+")
Fiona is big.
("Fiona" "is" "big" "+")
Fiona is blue.
("Fiona" "is" "blue" "+")
Fiona is furry.
("Fiona" "is" "furry" "+")
Fiona is quiet.
("Fiona" "is" "quiet" "+")
Gary is big.
("Gary" "is" "big" "+")
Gary is blue.
("Gary" "is" "blue" "+")
Gary is furry.
("Gary" "is" "furry" "+")
Gary is kind.
("Gary" "is" "kind" "+")
Gary is not red.
("Gary" "is" "red" "-")
If someone is furry then they are blue.
((("someone" "is" "furry" "+")) -> ("someone" "is" "blue" "+"))
If someone is big then they are kind.
((("someone" "is" "big" "+")) -> ("someone" "is" "kind" "+"))
If someone is furry and not red then they are quiet.
((("someone" "is" "furry" "+") ("someone" "is" "red" "~")) -> ("someone" "is" "quiet" "+"))
Gary is not red.
True
1
proof
[(triple16)]
("Gary" "is" "red" "-")
triple16
Gary is not big.
False
1
inv-proof
[(triple12)]
("Gary" "is" "big" "-")
triple12
Charlie is kind.
True
2
proof
[(((triple6) -> rule2))]
("Charlie" "is" "kind" "+")
((triple6) -> (rule2 % int1))
Charlie is kind.
("Charlie" "is" "kind" "+")
int1
Gary is not quiet.
False
3
inv-proof
[(((triple14 triple16) -> rule3))]
("Gary" "is" "quiet" "-")
((triple14 triple16) -> (rule3 % int1))
Gary is quiet.
("Gary" "is" "quiet" "+")
int1
Bob is not quiet.
Unknown
inv-rconc
[@1: Bob is quiet.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Bob" "is" "quiet" "-")
Charlie is blue.
Unknown
rconc
[@1: Charlie is blue.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Charlie" "is" "blue" "+")
Charlie is not furry.
Unknown
inv-random
[@0: Charlie is furry.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "furry" "-")
Gary is young.
Unknown
random
[@0: Gary is young.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "young" "+")
@0: Bob is big.[(triple1)] Bob is furry.[(triple2)] Bob is kind.[(triple3 OR ((triple1) -> rule2))] Bob is red.[(triple4)] Bob is young.[(triple5)] Charlie is big.[(triple6)] Charlie is quiet.[(triple7)] Fiona is big.[(triple8)] Fiona is blue.[(triple9 OR ((triple10) -> rule1))] Fiona is furry.[(triple10)] Fiona is quiet.[(triple11)] Gary is big.[(triple12)] Gary is blue.[(triple13 OR ((triple14) -> rule1))] Gary is furry.[(triple14)] Gary is kind.[(triple15 OR ((triple12) -> rule2))] Gary is not red.[(triple16)] @1: Bob is blue.[(((triple2) -> rule1))] Charlie is kind.[(((triple6) -> rule2))] Fiona is kind.[(((triple8) -> rule2))] Gary is quiet.[(((triple14 triple16) -> rule3))]
Bob is big.
("Bob" "is" "big" "+")
triple1
Bob is furry.
("Bob" "is" "furry" "+")
triple2
Bob is kind.
("Bob" "is" "kind" "+")
triple3
((triple1) -> (rule2 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is red.
("Bob" "is" "red" "+")
triple4
Bob is young.
("Bob" "is" "young" "+")
triple5
Charlie is big.
("Charlie" "is" "big" "+")
triple6
Charlie is quiet.
("Charlie" "is" "quiet" "+")
triple7
Fiona is big.
("Fiona" "is" "big" "+")
triple8
Fiona is blue.
("Fiona" "is" "blue" "+")
triple9
((triple10) -> (rule1 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
Fiona is furry.
("Fiona" "is" "furry" "+")
triple10
Fiona is quiet.
("Fiona" "is" "quiet" "+")
triple11
Gary is big.
("Gary" "is" "big" "+")
triple12
Gary is blue.
("Gary" "is" "blue" "+")
triple13
((triple14) -> (rule1 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Gary is furry.
("Gary" "is" "furry" "+")
triple14
Gary is kind.
("Gary" "is" "kind" "+")
triple15
((triple12) -> (rule2 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Gary is not red.
("Gary" "is" "red" "-")
triple16
Bob is blue.
("Bob" "is" "blue" "+")
((triple2) -> (rule1 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
Charlie is kind.
("Charlie" "is" "kind" "+")
((triple6) -> (rule2 % int1))
Charlie is kind.
("Charlie" "is" "kind" "+")
int1
Fiona is kind.
("Fiona" "is" "kind" "+")
((triple8) -> (rule2 % int1))
Fiona is kind.
("Fiona" "is" "kind" "+")
int1
Gary is quiet.
("Gary" "is" "quiet" "+")
((triple14 triple16) -> (rule3 % int1))
Gary is quiet.
("Gary" "is" "quiet" "+")
int1