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