Charlie is not cold. Fiona is cold. Gary is cold. Harry is smart. All round people are not kind. If Fiona is cold then Fiona is round.
Charlie is not cold.
("Charlie" "is" "cold" "-")
Fiona is cold.
("Fiona" "is" "cold" "+")
Gary is cold.
("Gary" "is" "cold" "+")
Harry is smart.
("Harry" "is" "smart" "+")
All round people are not kind.
((("someone" "is" "round" "+")) -> ("someone" "is" "kind" "-"))
If Fiona is cold then Fiona is round.
((("Fiona" "is" "cold" "+")) -> ("Fiona" "is" "round" "+"))
Fiona is cold.
True
1
proof
[(triple2)]
("Fiona" "is" "cold" "+")
triple2
Gary is not cold.
False
1
inv-proof
[(triple3)]
("Gary" "is" "cold" "-")
triple3
Fiona is round.
True
2
proof
[(((triple2) -> rule2))]
("Fiona" "is" "round" "+")
((triple2) -> (rule2 % int1))
Fiona is round.
("Fiona" "is" "round" "+")
int1
Fiona is not round.
False
2
inv-proof
[(((triple2) -> rule2))]
("Fiona" "is" "round" "-")
((triple2) -> (rule2 % int1))
Fiona is round.
("Fiona" "is" "round" "+")
int1
Fiona is not kind.
True
3
proof
[(((((triple2) -> rule2)) -> rule1))]
("Fiona" "is" "kind" "-")
((((triple2) -> (rule2 % int2))) -> (rule1 % int1))
Fiona is not kind.
("Fiona" "is" "kind" "-")
int1
Fiona is round.
("Fiona" "is" "round" "+")
int2
Fiona is kind.
False
3
inv-proof
[(((((triple2) -> rule2)) -> rule1))]
("Fiona" "is" "kind" "+")
((((triple2) -> (rule2 % int2))) -> (rule1 % int1))
Fiona is not kind.
("Fiona" "is" "kind" "-")
int1
Fiona is round.
("Fiona" "is" "round" "+")
int2
Fiona is not smart.
Unknown
inv-random
[@0: Fiona is smart.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "smart" "-")
Harry is white.
Unknown
random
[@0: Harry is white.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "white" "+")
Gary is not blue.
Unknown
inv-random
[@0: Gary is blue.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "blue" "-")
Charlie is kind.
Unknown
random
[@0: Charlie is kind.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "kind" "+")
Gary is not smart.
Unknown
inv-random
[@0: Gary is smart.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "smart" "-")
Charlie is blue.
Unknown
random
[@0: Charlie is blue.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "blue" "+")
@0: Charlie is not cold.[(triple1)] Fiona is cold.[(triple2)] Gary is cold.[(triple3)] Harry is smart.[(triple4)] @1: Fiona is round.[(((triple2) -> rule2))] @2: Fiona is not kind.[(((((triple2) -> rule2)) -> rule1))]
Charlie is not cold.
("Charlie" "is" "cold" "-")
triple1
Fiona is cold.
("Fiona" "is" "cold" "+")
triple2
Gary is cold.
("Gary" "is" "cold" "+")
triple3
Harry is smart.
("Harry" "is" "smart" "+")
triple4
Fiona is round.
("Fiona" "is" "round" "+")
((triple2) -> (rule2 % int1))
Fiona is round.
("Fiona" "is" "round" "+")
int1
Fiona is not kind.
("Fiona" "is" "kind" "-")
((((triple2) -> (rule2 % int2))) -> (rule1 % int1))
Fiona is not kind.
("Fiona" "is" "kind" "-")
int1
Fiona is round.
("Fiona" "is" "round" "+")
int2