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