Charlie is green. Charlie is round. Charlie is young. Erin is green. Erin is red. Erin is not white. Erin is young. Fiona is cold. Harry is not round. Harry is not young. If Fiona is furry then Fiona is red. If Fiona is round then Fiona is not red. If Charlie is not young then Charlie is round. Young things are not cold. If something is white and not red then it is not cold. If something is green and not furry then it is cold.
Charlie is green.
("Charlie" "is" "green" "+")
Charlie is round.
("Charlie" "is" "round" "+")
Charlie is young.
("Charlie" "is" "young" "+")
Erin is green.
("Erin" "is" "green" "+")
Erin is red.
("Erin" "is" "red" "+")
Erin is not white.
("Erin" "is" "white" "-")
Erin is young.
("Erin" "is" "young" "+")
Fiona is cold.
("Fiona" "is" "cold" "+")
Harry is not round.
("Harry" "is" "round" "-")
Harry is not young.
("Harry" "is" "young" "-")
If Fiona is furry then Fiona is red.
((("Fiona" "is" "furry" "+")) -> ("Fiona" "is" "red" "+"))
If Fiona is round then Fiona is not red.
((("Fiona" "is" "round" "+")) -> ("Fiona" "is" "red" "-"))
If Charlie is not young then Charlie is round.
((("Charlie" "is" "young" "~")) -> ("Charlie" "is" "round" "+"))
Young things are not cold.
((("something" "is" "young" "+")) -> ("something" "is" "cold" "-"))
If something is white and not red then it is not cold.
((("something" "is" "white" "+") ("something" "is" "red" "~")) -> ("something" "is" "cold" "-"))
If something is green and not furry then it is cold.
((("something" "is" "green" "+") ("something" "is" "furry" "~")) -> ("something" "is" "cold" "+"))
Charlie is young.
True
1
proof
[(triple3)]
("Charlie" "is" "young" "+")
triple3
Harry is round.
False
1
inv-proof
[(triple9)]
("Harry" "is" "round" "+")
triple9
Erin is not cold.
True
2
proof
[(((triple7) -> rule4))]
("Erin" "is" "cold" "-")
((triple7) -> (rule4 % int1))
Erin is not cold.
("Erin" "is" "cold" "-")
int1
Erin is cold.
False
2
inv-proof
[(((triple7) -> rule4))]
("Erin" "is" "cold" "+")
((triple7) -> (rule4 % int1))
Erin is not cold.
("Erin" "is" "cold" "-")
int1
Harry is not cold.
Unknown
inv-rconc
[@1: Harry is cold.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("Harry" "is" "cold" "-")
Fiona is red.
Unknown
rconc
[@1: Fiona is red.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Fiona" "is" "red" "+")
Harry is not green.
Unknown
inv-random
[@0: Harry is green.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "green" "-")
Harry is white.
Unknown
random
[@0: Harry is white.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "white" "+")
@0: Charlie is green.[(triple1)] Charlie is round.[(triple2)] Charlie is young.[(triple3)] Erin is green.[(triple4)] Erin is not white.[(triple6)] Erin is red.[(triple5)] Erin is young.[(triple7)] Fiona is cold.[(triple8)] Harry is not round.[(triple9)] Harry is not young.[(triple10)] @1: Charlie is not cold.[(((triple3) -> rule4))] Erin is not cold.[(((triple7) -> rule4))]
Charlie is green.
("Charlie" "is" "green" "+")
triple1
Charlie is round.
("Charlie" "is" "round" "+")
triple2
Charlie is young.
("Charlie" "is" "young" "+")
triple3
Erin is green.
("Erin" "is" "green" "+")
triple4
Erin is not white.
("Erin" "is" "white" "-")
triple6
Erin is red.
("Erin" "is" "red" "+")
triple5
Erin is young.
("Erin" "is" "young" "+")
triple7
Fiona is cold.
("Fiona" "is" "cold" "+")
triple8
Harry is not round.
("Harry" "is" "round" "-")
triple9
Harry is not young.
("Harry" "is" "young" "-")
triple10
Charlie is not cold.
("Charlie" "is" "cold" "-")
((triple3) -> (rule4 % int1))
Charlie is not cold.
("Charlie" "is" "cold" "-")
int1
Erin is not cold.
("Erin" "is" "cold" "-")
((triple7) -> (rule4 % int1))
Erin is not cold.
("Erin" "is" "cold" "-")
int1