Anne is big. Anne is blue. Anne is cold. Anne is nice. Anne is red. Anne is not rough. Anne is young. Fiona is big. Fiona is cold. Fiona is nice. Fiona is red. Fiona is not rough. Harry is big. Harry is nice. Harry is not red. Harry is rough. If Harry is blue and Harry is rough then Harry is not red. If someone is red and not blue then they are rough. All nice people are young.
Anne is big.
("Anne" "is" "big" "+")
Anne is blue.
("Anne" "is" "blue" "+")
Anne is cold.
("Anne" "is" "cold" "+")
Anne is nice.
("Anne" "is" "nice" "+")
Anne is red.
("Anne" "is" "red" "+")
Anne is not rough.
("Anne" "is" "rough" "-")
Anne is young.
("Anne" "is" "young" "+")
Fiona is big.
("Fiona" "is" "big" "+")
Fiona is cold.
("Fiona" "is" "cold" "+")
Fiona is nice.
("Fiona" "is" "nice" "+")
Fiona is red.
("Fiona" "is" "red" "+")
Fiona is not rough.
("Fiona" "is" "rough" "-")
Harry is big.
("Harry" "is" "big" "+")
Harry is nice.
("Harry" "is" "nice" "+")
Harry is not red.
("Harry" "is" "red" "-")
Harry is rough.
("Harry" "is" "rough" "+")
If Harry is blue and Harry is rough then Harry is not red.
((("Harry" "is" "blue" "+") ("Harry" "is" "rough" "+")) -> ("Harry" "is" "red" "-"))
If someone is red and not blue then they are rough.
((("someone" "is" "red" "+") ("someone" "is" "blue" "~")) -> ("someone" "is" "rough" "+"))
All nice people are young.
((("someone" "is" "nice" "+")) -> ("someone" "is" "young" "+"))
Anne is blue.
True
1
proof
[(triple2)]
("Anne" "is" "blue" "+")
triple2
Anne is rough.
False
1
inv-proof
[(triple6)]
("Anne" "is" "rough" "+")
triple6
Fiona is young.
True
2
proof
[(((triple10) -> rule3))]
("Fiona" "is" "young" "+")
((triple10) -> (rule3 % int1))
Fiona is young.
("Fiona" "is" "young" "+")
int1
Fiona is not young.
False
2
inv-proof
[(((triple10) -> rule3))]
("Fiona" "is" "young" "-")
((triple10) -> (rule3 % int1))
Fiona is young.
("Fiona" "is" "young" "+")
int1
Harry is not cold.
Unknown
inv-random
[@0: Harry is cold.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "cold" "-")
Harry is blue.
Unknown
random
[@0: Harry is blue.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "blue" "+")
@0: Anne is big.[(triple1)] Anne is blue.[(triple2)] Anne is cold.[(triple3)] Anne is nice.[(triple4)] Anne is not rough.[(triple6)] Anne is red.[(triple5)] Anne is young.[(triple7 OR ((triple4) -> rule3))] Fiona is big.[(triple8)] Fiona is cold.[(triple9)] Fiona is nice.[(triple10)] Fiona is not rough.[(triple12)] Fiona is red.[(triple11)] Harry is big.[(triple13)] Harry is nice.[(triple14)] Harry is not red.[(triple15)] Harry is rough.[(triple16)] @1: Fiona is young.[(((triple10) -> rule3))] Harry is young.[(((triple14) -> rule3))]
Anne is big.
("Anne" "is" "big" "+")
triple1
Anne is blue.
("Anne" "is" "blue" "+")
triple2
Anne is cold.
("Anne" "is" "cold" "+")
triple3
Anne is nice.
("Anne" "is" "nice" "+")
triple4
Anne is not rough.
("Anne" "is" "rough" "-")
triple6
Anne is red.
("Anne" "is" "red" "+")
triple5
Anne is young.
("Anne" "is" "young" "+")
triple7
((triple4) -> (rule3 % int1))
Anne is young.
("Anne" "is" "young" "+")
int1
Fiona is big.
("Fiona" "is" "big" "+")
triple8
Fiona is cold.
("Fiona" "is" "cold" "+")
triple9
Fiona is nice.
("Fiona" "is" "nice" "+")
triple10
Fiona is not rough.
("Fiona" "is" "rough" "-")
triple12
Fiona is red.
("Fiona" "is" "red" "+")
triple11
Harry is big.
("Harry" "is" "big" "+")
triple13
Harry is nice.
("Harry" "is" "nice" "+")
triple14
Harry is not red.
("Harry" "is" "red" "-")
triple15
Harry is rough.
("Harry" "is" "rough" "+")
triple16
Fiona is young.
("Fiona" "is" "young" "+")
((triple10) -> (rule3 % int1))
Fiona is young.
("Fiona" "is" "young" "+")
int1
Harry is young.
("Harry" "is" "young" "+")
((triple14) -> (rule3 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1