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