Fiona is blue. Fiona is cold. Fiona is green. Fiona is nice. Fiona is quiet. Fiona is smart. Gary is blue. Gary is cold. Gary is kind. Harry is blue. Harry is cold. Harry is green. Harry is kind. Harry is nice. Harry is quiet. Harry is smart. Blue, cold people are smart. If Gary is smart then Gary is green. All green people are nice.
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 quiet.
("Fiona" "is" "quiet" "+")
Fiona is smart.
("Fiona" "is" "smart" "+")
Gary is blue.
("Gary" "is" "blue" "+")
Gary is cold.
("Gary" "is" "cold" "+")
Gary is kind.
("Gary" "is" "kind" "+")
Harry is blue.
("Harry" "is" "blue" "+")
Harry is cold.
("Harry" "is" "cold" "+")
Harry is green.
("Harry" "is" "green" "+")
Harry is kind.
("Harry" "is" "kind" "+")
Harry is nice.
("Harry" "is" "nice" "+")
Harry is quiet.
("Harry" "is" "quiet" "+")
Harry is smart.
("Harry" "is" "smart" "+")
Blue, cold people are smart.
((("someone" "is" "blue" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "smart" "+"))
If Gary is smart then Gary is green.
((("Gary" "is" "smart" "+")) -> ("Gary" "is" "green" "+"))
All green people are nice.
((("someone" "is" "green" "+")) -> ("someone" "is" "nice" "+"))
Fiona is cold.
True
1
proof
[(triple2)]
("Fiona" "is" "cold" "+")
triple2
Gary is not cold.
False
1
inv-proof
[(triple8)]
("Gary" "is" "cold" "-")
triple8
Gary is smart.
True
3
proof
[(((triple7 triple8) -> rule1))]
("Gary" "is" "smart" "+")
((triple7 triple8) -> (rule1 % int1))
Gary is smart.
("Gary" "is" "smart" "+")
int1
Gary is not smart.
False
3
inv-proof
[(((triple7 triple8) -> rule1))]
("Gary" "is" "smart" "-")
((triple7 triple8) -> (rule1 % int1))
Gary is smart.
("Gary" "is" "smart" "+")
int1
Gary is green.
True
4
proof
[(((((triple7 triple8) -> rule1)) -> rule2))]
("Gary" "is" "green" "+")
((((triple7 triple8) -> (rule1 % int2))) -> (rule2 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
Gary is smart.
("Gary" "is" "smart" "+")
int2
Gary is not green.
False
4
inv-proof
[(((((triple7 triple8) -> rule1)) -> rule2))]
("Gary" "is" "green" "-")
((((triple7 triple8) -> (rule1 % int2))) -> (rule2 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
Gary is smart.
("Gary" "is" "smart" "+")
int2
Gary is nice.
True
5
proof
[(((((((triple7 triple8) -> rule1)) -> rule2)) -> rule3))]
("Gary" "is" "nice" "+")
((((((triple7 triple8) -> (rule1 % int3))) -> (rule2 % int2))) -> (rule3 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is green.
("Gary" "is" "green" "+")
int2
Gary is smart.
("Gary" "is" "smart" "+")
int3
Gary is not nice.
False
5
inv-proof
[(((((((triple7 triple8) -> rule1)) -> rule2)) -> rule3))]
("Gary" "is" "nice" "-")
((((((triple7 triple8) -> (rule1 % int3))) -> (rule2 % int2))) -> (rule3 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is green.
("Gary" "is" "green" "+")
int2
Gary is smart.
("Gary" "is" "smart" "+")
int3
Fiona is not kind.
Unknown
inv-random
[@0: Fiona is kind.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "kind" "-")
Gary is quiet.
Unknown
random
[@0: Gary is quiet.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "quiet" "+")
@0: Fiona is blue.[(triple1)] Fiona is cold.[(triple2)] Fiona is green.[(triple3)] Fiona is nice.[(triple4 OR ((triple3) -> rule3))] Fiona is quiet.[(triple5)] Fiona is smart.[(triple6 OR ((triple1 triple2) -> rule1))] Gary is blue.[(triple7)] Gary is cold.[(triple8)] Gary is kind.[(triple9)] Harry is blue.[(triple10)] Harry is cold.[(triple11)] Harry is green.[(triple12)] Harry is kind.[(triple13)] Harry is nice.[(triple14 OR ((triple12) -> rule3))] Harry is quiet.[(triple15)] Harry is smart.[(triple16 OR ((triple10 triple11) -> rule1))] @1: Gary is smart.[(((triple7 triple8) -> rule1))] @2: Gary is green.[(((((triple7 triple8) -> rule1)) -> rule2))] @3: Gary is nice.[(((((((triple7 triple8) -> rule1)) -> rule2)) -> rule3))]
Fiona is blue.
("Fiona" "is" "blue" "+")
triple1
Fiona is cold.
("Fiona" "is" "cold" "+")
triple2
Fiona is green.
("Fiona" "is" "green" "+")
triple3
Fiona is nice.
("Fiona" "is" "nice" "+")
triple4
((triple3) -> (rule3 % int1))
Fiona is nice.
("Fiona" "is" "nice" "+")
int1
Fiona is quiet.
("Fiona" "is" "quiet" "+")
triple5
Fiona is smart.
("Fiona" "is" "smart" "+")
triple6
((triple1 triple2) -> (rule1 % int1))
Fiona is smart.
("Fiona" "is" "smart" "+")
int1
Gary is blue.
("Gary" "is" "blue" "+")
triple7
Gary is cold.
("Gary" "is" "cold" "+")
triple8
Gary is kind.
("Gary" "is" "kind" "+")
triple9
Harry is blue.
("Harry" "is" "blue" "+")
triple10
Harry is cold.
("Harry" "is" "cold" "+")
triple11
Harry is green.
("Harry" "is" "green" "+")
triple12
Harry is kind.
("Harry" "is" "kind" "+")
triple13
Harry is nice.
("Harry" "is" "nice" "+")
triple14
((triple12) -> (rule3 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Harry is quiet.
("Harry" "is" "quiet" "+")
triple15
Harry is smart.
("Harry" "is" "smart" "+")
triple16
((triple10 triple11) -> (rule1 % int1))
Harry is smart.
("Harry" "is" "smart" "+")
int1
Gary is smart.
("Gary" "is" "smart" "+")
((triple7 triple8) -> (rule1 % int1))
Gary is smart.
("Gary" "is" "smart" "+")
int1
Gary is green.
("Gary" "is" "green" "+")
((((triple7 triple8) -> (rule1 % int2))) -> (rule2 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
Gary is smart.
("Gary" "is" "smart" "+")
int2
Gary is nice.
("Gary" "is" "nice" "+")
((((((triple7 triple8) -> (rule1 % int3))) -> (rule2 % int2))) -> (rule3 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is green.
("Gary" "is" "green" "+")
int2
Gary is smart.
("Gary" "is" "smart" "+")
int3