Charlie is blue. Charlie is cold. Charlie is not nice. Charlie is not quiet. Charlie is young. Fiona is quiet. Fiona is round. Gary is cold. Gary is red. Gary is young. If someone is nice then they are round. If someone is blue and not young then they are round. Quiet people are blue. If someone is nice and not red then they are blue. Nice, round people are cold. If someone is quiet then they are not nice. If someone is round then they are not nice. If someone is round and not young then they are nice.
Charlie is blue.
("Charlie" "is" "blue" "+")
Charlie is cold.
("Charlie" "is" "cold" "+")
Charlie is not nice.
("Charlie" "is" "nice" "-")
Charlie is not quiet.
("Charlie" "is" "quiet" "-")
Charlie is young.
("Charlie" "is" "young" "+")
Fiona is quiet.
("Fiona" "is" "quiet" "+")
Fiona is round.
("Fiona" "is" "round" "+")
Gary is cold.
("Gary" "is" "cold" "+")
Gary is red.
("Gary" "is" "red" "+")
Gary is young.
("Gary" "is" "young" "+")
If someone is nice then they are round.
((("someone" "is" "nice" "+")) -> ("someone" "is" "round" "+"))
If someone is blue and not young then they are round.
((("someone" "is" "blue" "+") ("someone" "is" "young" "~")) -> ("someone" "is" "round" "+"))
Quiet people are blue.
((("someone" "is" "quiet" "+")) -> ("someone" "is" "blue" "+"))
If someone is nice and not red then they are blue.
((("someone" "is" "nice" "+") ("someone" "is" "red" "~")) -> ("someone" "is" "blue" "+"))
Nice, round people are cold.
((("someone" "is" "nice" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "cold" "+"))
If someone is quiet then they are not nice.
((("someone" "is" "quiet" "+")) -> ("someone" "is" "nice" "-"))
If someone is round then they are not nice.
((("someone" "is" "round" "+")) -> ("someone" "is" "nice" "-"))
If someone is round and not young then they are nice.
((("someone" "is" "round" "+") ("someone" "is" "young" "~")) -> ("someone" "is" "nice" "+"))
Fiona is round.
True
1
proof
[(triple7)]
("Fiona" "is" "round" "+")
triple7
Charlie is not blue.
False
1
inv-proof
[(triple1)]
("Charlie" "is" "blue" "-")
triple1
Fiona is blue.
True
2
proof
[(((triple6) -> rule3))]
("Fiona" "is" "blue" "+")
((triple6) -> (rule3 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
Fiona is not blue.
False
2
inv-proof
[(((triple6) -> rule3))]
("Fiona" "is" "blue" "-")
((triple6) -> (rule3 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
Charlie is not round.
Unknown
inv-rconc
[@1: Charlie is round.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Charlie" "is" "round" "-")
Gary is nice.
Unknown
rconc
[@1: Gary is nice.[CWA. Example of deepest failure = (rule8 <- FAIL)]]
("Gary" "is" "nice" "+")
Gary is not quiet.
Unknown
inv-random
[@0: Gary is quiet.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "quiet" "-")
Fiona is young.
Unknown
random
[@0: Fiona is young.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "young" "+")
@0: Charlie is blue.[(triple1)] Charlie is cold.[(triple2)] Charlie is not nice.[(triple3)] Charlie is not quiet.[(triple4)] Charlie is young.[(triple5)] Fiona is quiet.[(triple6)] Fiona is round.[(triple7)] Gary is cold.[(triple8)] Gary is red.[(triple9)] Gary is young.[(triple10)] @1: Fiona is blue.[(((triple6) -> rule3))] Fiona is not nice.[(((triple6) -> rule6) OR ((triple7) -> rule7))]
Charlie is blue.
("Charlie" "is" "blue" "+")
triple1
Charlie is cold.
("Charlie" "is" "cold" "+")
triple2
Charlie is not nice.
("Charlie" "is" "nice" "-")
triple3
Charlie is not quiet.
("Charlie" "is" "quiet" "-")
triple4
Charlie is young.
("Charlie" "is" "young" "+")
triple5
Fiona is quiet.
("Fiona" "is" "quiet" "+")
triple6
Fiona is round.
("Fiona" "is" "round" "+")
triple7
Gary is cold.
("Gary" "is" "cold" "+")
triple8
Gary is red.
("Gary" "is" "red" "+")
triple9
Gary is young.
("Gary" "is" "young" "+")
triple10
Fiona is blue.
("Fiona" "is" "blue" "+")
((triple6) -> (rule3 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
Fiona is not nice.
("Fiona" "is" "nice" "-")
((triple6) -> (rule6 % int1))
Fiona is not nice.
("Fiona" "is" "nice" "-")
int1
((triple7) -> (rule7 % int1))
Fiona is not nice.
("Fiona" "is" "nice" "-")
int1