Charlie is cold. Charlie is kind. Charlie is quiet. Charlie is red. Charlie is round. Charlie is smart. Fiona is quiet. Fiona is red. Fiona is smart. Fiona is young. Smart, young people are cold.
Charlie is cold.
("Charlie" "is" "cold" "+")
Charlie is kind.
("Charlie" "is" "kind" "+")
Charlie is quiet.
("Charlie" "is" "quiet" "+")
Charlie is red.
("Charlie" "is" "red" "+")
Charlie is round.
("Charlie" "is" "round" "+")
Charlie is smart.
("Charlie" "is" "smart" "+")
Fiona is quiet.
("Fiona" "is" "quiet" "+")
Fiona is red.
("Fiona" "is" "red" "+")
Fiona is smart.
("Fiona" "is" "smart" "+")
Fiona is young.
("Fiona" "is" "young" "+")
Smart, young people are cold.
((("someone" "is" "smart" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "cold" "+"))
Charlie is round.
True
1
proof
[(triple5)]
("Charlie" "is" "round" "+")
triple5
Charlie is not red.
False
1
inv-proof
[(triple4)]
("Charlie" "is" "red" "-")
triple4
Fiona is cold.
True
3
proof
[(((triple9 triple10) -> rule1))]
("Fiona" "is" "cold" "+")
((triple9 triple10) -> (rule1 % int1))
Fiona is cold.
("Fiona" "is" "cold" "+")
int1
Fiona is not cold.
False
3
inv-proof
[(((triple9 triple10) -> rule1))]
("Fiona" "is" "cold" "-")
((triple9 triple10) -> (rule1 % int1))
Fiona is cold.
("Fiona" "is" "cold" "+")
int1
Charlie is not young.
Unknown
inv-random
[@0: Charlie is young.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "young" "-")
Fiona is round.
Unknown
random
[@0: Fiona is round.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "round" "+")
@0: Charlie is cold.[(triple1)] Charlie is kind.[(triple2)] Charlie is quiet.[(triple3)] Charlie is red.[(triple4)] Charlie is round.[(triple5)] Charlie is smart.[(triple6)] Fiona is quiet.[(triple7)] Fiona is red.[(triple8)] Fiona is smart.[(triple9)] Fiona is young.[(triple10)] @1: Fiona is cold.[(((triple9 triple10) -> rule1))]
Charlie is cold.
("Charlie" "is" "cold" "+")
triple1
Charlie is kind.
("Charlie" "is" "kind" "+")
triple2
Charlie is quiet.
("Charlie" "is" "quiet" "+")
triple3
Charlie is red.
("Charlie" "is" "red" "+")
triple4
Charlie is round.
("Charlie" "is" "round" "+")
triple5
Charlie is smart.
("Charlie" "is" "smart" "+")
triple6
Fiona is quiet.
("Fiona" "is" "quiet" "+")
triple7
Fiona is red.
("Fiona" "is" "red" "+")
triple8
Fiona is smart.
("Fiona" "is" "smart" "+")
triple9
Fiona is young.
("Fiona" "is" "young" "+")
triple10
Fiona is cold.
("Fiona" "is" "cold" "+")
((triple9 triple10) -> (rule1 % int1))
Fiona is cold.
("Fiona" "is" "cold" "+")
int1