Fiona is cold. Fiona is red. Fiona is not rough. Fiona is round. Harry is kind. Harry is quiet. Harry is red. Harry is rough. Harry is round. Harry is young. If something is rough and not cold then it is not young. Cold, red things are quiet.
Fiona is cold.
("Fiona" "is" "cold" "+")
Fiona is red.
("Fiona" "is" "red" "+")
Fiona is not rough.
("Fiona" "is" "rough" "-")
Fiona is round.
("Fiona" "is" "round" "+")
Harry is kind.
("Harry" "is" "kind" "+")
Harry is quiet.
("Harry" "is" "quiet" "+")
Harry is red.
("Harry" "is" "red" "+")
Harry is rough.
("Harry" "is" "rough" "+")
Harry is round.
("Harry" "is" "round" "+")
Harry is young.
("Harry" "is" "young" "+")
If something is rough and not cold then it is not young.
((("something" "is" "rough" "+") ("something" "is" "cold" "~")) -> ("something" "is" "young" "-"))
Cold, red things are quiet.
((("something" "is" "cold" "+") ("something" "is" "red" "+")) -> ("something" "is" "quiet" "+"))
Harry is rough.
True
1
proof
[(triple8)]
("Harry" "is" "rough" "+")
triple8
Fiona is rough.
False
1
inv-proof
[(triple3)]
("Fiona" "is" "rough" "+")
triple3
Fiona is quiet.
True
3
proof
[(((triple1 triple2) -> rule2))]
("Fiona" "is" "quiet" "+")
((triple1 triple2) -> (rule2 % int1))
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int1
Fiona is not quiet.
False
3
inv-proof
[(((triple1 triple2) -> rule2))]
("Fiona" "is" "quiet" "-")
((triple1 triple2) -> (rule2 % int1))
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int1
Harry is not cold.
Unknown
inv-random
[@0: Harry is cold.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "cold" "-")
Fiona is kind.
Unknown
random
[@0: Fiona is kind.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "kind" "+")
@0: Fiona is cold.[(triple1)] Fiona is not rough.[(triple3)] Fiona is red.[(triple2)] Fiona is round.[(triple4)] Harry is kind.[(triple5)] Harry is quiet.[(triple6)] Harry is red.[(triple7)] Harry is rough.[(triple8)] Harry is round.[(triple9)] Harry is young.[(triple10)] @1: Fiona is quiet.[(((triple1 triple2) -> rule2))]
Fiona is cold.
("Fiona" "is" "cold" "+")
triple1
Fiona is not rough.
("Fiona" "is" "rough" "-")
triple3
Fiona is red.
("Fiona" "is" "red" "+")
triple2
Fiona is round.
("Fiona" "is" "round" "+")
triple4
Harry is kind.
("Harry" "is" "kind" "+")
triple5
Harry is quiet.
("Harry" "is" "quiet" "+")
triple6
Harry is red.
("Harry" "is" "red" "+")
triple7
Harry is rough.
("Harry" "is" "rough" "+")
triple8
Harry is round.
("Harry" "is" "round" "+")
triple9
Harry is young.
("Harry" "is" "young" "+")
triple10
Fiona is quiet.
("Fiona" "is" "quiet" "+")
((triple1 triple2) -> (rule2 % int1))
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int1