Charlie is kind. Charlie is quiet. Charlie is round. Charlie is smart. Erin is round. Erin is young. Fiona is cold. Fiona is kind. Fiona is round. Fiona is young. If something is round and young then it is quiet. All cold, quiet things are nice. If Charlie is quiet then Charlie is nice.
Charlie is kind.
("Charlie" "is" "kind" "+")
Charlie is quiet.
("Charlie" "is" "quiet" "+")
Charlie is round.
("Charlie" "is" "round" "+")
Charlie is smart.
("Charlie" "is" "smart" "+")
Erin is round.
("Erin" "is" "round" "+")
Erin is young.
("Erin" "is" "young" "+")
Fiona is cold.
("Fiona" "is" "cold" "+")
Fiona is kind.
("Fiona" "is" "kind" "+")
Fiona is round.
("Fiona" "is" "round" "+")
Fiona is young.
("Fiona" "is" "young" "+")
If something is round and young then it is quiet.
((("something" "is" "round" "+") ("something" "is" "young" "+")) -> ("something" "is" "quiet" "+"))
All cold, quiet things are nice.
((("something" "is" "cold" "+") ("something" "is" "quiet" "+")) -> ("something" "is" "nice" "+"))
If Charlie is quiet then Charlie is nice.
((("Charlie" "is" "quiet" "+")) -> ("Charlie" "is" "nice" "+"))
Charlie is round.
True
1
proof
[(triple3)]
("Charlie" "is" "round" "+")
triple3
Charlie is not kind.
False
1
inv-proof
[(triple1)]
("Charlie" "is" "kind" "-")
triple1
Fiona is quiet.
True
3
proof
[(((triple9 triple10) -> rule1))]
("Fiona" "is" "quiet" "+")
((triple9 triple10) -> (rule1 % int1))
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int1
Erin is not quiet.
False
3
inv-proof
[(((triple5 triple6) -> rule1))]
("Erin" "is" "quiet" "-")
((triple5 triple6) -> (rule1 % int1))
Erin is quiet.
("Erin" "is" "quiet" "+")
int1
Fiona is nice.
True
5
proof
[(((triple7 ((triple9 triple10) -> rule1)) -> rule2))]
("Fiona" "is" "nice" "+")
((triple7 ((triple9 triple10) -> (rule1 % int2))) -> (rule2 % int1))
Fiona is nice.
("Fiona" "is" "nice" "+")
int1
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int2
Fiona is not nice.
False
5
inv-proof
[(((triple7 ((triple9 triple10) -> rule1)) -> rule2))]
("Fiona" "is" "nice" "-")
((triple7 ((triple9 triple10) -> (rule1 % int2))) -> (rule2 % int1))
Fiona is nice.
("Fiona" "is" "nice" "+")
int1
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int2
Erin is not nice.
Unknown
inv-rconc
[@1: Erin is nice.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Erin" "is" "nice" "-")
Erin is cold.
Unknown
random
[@0: Erin is cold.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "cold" "+")
Erin is not smart.
Unknown
inv-random
[@0: Erin is smart.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "smart" "-")
Charlie is cold.
Unknown
random
[@0: Charlie is cold.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "cold" "+")
Charlie is not young.
Unknown
inv-random
[@0: Charlie is young.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "young" "-")
Fiona is smart.
Unknown
random
[@0: Fiona is smart.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "smart" "+")
@0: Charlie is kind.[(triple1)] Charlie is quiet.[(triple2)] Charlie is round.[(triple3)] Charlie is smart.[(triple4)] Erin is round.[(triple5)] Erin is young.[(triple6)] Fiona is cold.[(triple7)] Fiona is kind.[(triple8)] Fiona is round.[(triple9)] Fiona is young.[(triple10)] @1: Charlie is nice.[(((triple2) -> rule3))] Erin is quiet.[(((triple5 triple6) -> rule1))] Fiona is quiet.[(((triple9 triple10) -> rule1))] @2: Fiona is nice.[(((triple7 ((triple9 triple10) -> rule1)) -> rule2))]
Charlie is kind.
("Charlie" "is" "kind" "+")
triple1
Charlie is quiet.
("Charlie" "is" "quiet" "+")
triple2
Charlie is round.
("Charlie" "is" "round" "+")
triple3
Charlie is smart.
("Charlie" "is" "smart" "+")
triple4
Erin is round.
("Erin" "is" "round" "+")
triple5
Erin is young.
("Erin" "is" "young" "+")
triple6
Fiona is cold.
("Fiona" "is" "cold" "+")
triple7
Fiona is kind.
("Fiona" "is" "kind" "+")
triple8
Fiona is round.
("Fiona" "is" "round" "+")
triple9
Fiona is young.
("Fiona" "is" "young" "+")
triple10
Charlie is nice.
("Charlie" "is" "nice" "+")
((triple2) -> (rule3 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Erin is quiet.
("Erin" "is" "quiet" "+")
((triple5 triple6) -> (rule1 % int1))
Erin is quiet.
("Erin" "is" "quiet" "+")
int1
Fiona is quiet.
("Fiona" "is" "quiet" "+")
((triple9 triple10) -> (rule1 % int1))
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int1
Fiona is nice.
("Fiona" "is" "nice" "+")
((triple7 ((triple9 triple10) -> (rule1 % int2))) -> (rule2 % int1))
Fiona is nice.
("Fiona" "is" "nice" "+")
int1
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int2