Bob is kind. Bob is round. Charlie is cold. Charlie is nice. Charlie is rough. Charlie is round. Charlie is young. Erin is kind. Erin is nice. Erin is young. Fiona is cold. Fiona is kind. Fiona is quiet. Fiona is round. Fiona is young. Nice, kind things are quiet. Quiet, nice things are cold. Round, rough things are cold.
Bob is kind.
("Bob" "is" "kind" "+")
Bob is round.
("Bob" "is" "round" "+")
Charlie is cold.
("Charlie" "is" "cold" "+")
Charlie is nice.
("Charlie" "is" "nice" "+")
Charlie is rough.
("Charlie" "is" "rough" "+")
Charlie is round.
("Charlie" "is" "round" "+")
Charlie is young.
("Charlie" "is" "young" "+")
Erin is kind.
("Erin" "is" "kind" "+")
Erin is nice.
("Erin" "is" "nice" "+")
Erin is young.
("Erin" "is" "young" "+")
Fiona is cold.
("Fiona" "is" "cold" "+")
Fiona is kind.
("Fiona" "is" "kind" "+")
Fiona is quiet.
("Fiona" "is" "quiet" "+")
Fiona is round.
("Fiona" "is" "round" "+")
Fiona is young.
("Fiona" "is" "young" "+")
Nice, kind things are quiet.
((("something" "is" "nice" "+") ("something" "is" "kind" "+")) -> ("something" "is" "quiet" "+"))
Quiet, nice things are cold.
((("something" "is" "quiet" "+") ("something" "is" "nice" "+")) -> ("something" "is" "cold" "+"))
Round, rough things are cold.
((("something" "is" "round" "+") ("something" "is" "rough" "+")) -> ("something" "is" "cold" "+"))
Fiona is round.
True
1
proof
[(triple14)]
("Fiona" "is" "round" "+")
triple14
Erin is not kind.
False
1
inv-proof
[(triple8)]
("Erin" "is" "kind" "-")
triple8
Erin is quiet.
True
3
proof
[(((triple9 triple8) -> rule1))]
("Erin" "is" "quiet" "+")
((triple9 triple8) -> (rule1 % int1))
Erin is quiet.
("Erin" "is" "quiet" "+")
int1
Erin is not quiet.
False
3
inv-proof
[(((triple9 triple8) -> rule1))]
("Erin" "is" "quiet" "-")
((triple9 triple8) -> (rule1 % int1))
Erin is quiet.
("Erin" "is" "quiet" "+")
int1
Erin is cold.
True
5
proof
[(((((triple9 triple8) -> rule1) triple9) -> rule2))]
("Erin" "is" "cold" "+")
((((triple9 triple8) -> (rule1 % int2)) triple9) -> (rule2 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
Erin is quiet.
("Erin" "is" "quiet" "+")
int2
Erin is not cold.
False
5
inv-proof
[(((((triple9 triple8) -> rule1) triple9) -> rule2))]
("Erin" "is" "cold" "-")
((((triple9 triple8) -> (rule1 % int2)) triple9) -> (rule2 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
Erin is quiet.
("Erin" "is" "quiet" "+")
int2
Bob is not cold.
Unknown
inv-rconc
[@1: Bob is cold.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Bob" "is" "cold" "-")
Bob is quiet.
Unknown
rconc
[@1: Bob is quiet.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Bob" "is" "quiet" "+")
Charlie is not quiet.
Unknown
inv-rconc
[@1: Charlie is quiet.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Charlie" "is" "quiet" "-")
Fiona is rough.
Unknown
random
[@0: Fiona is rough.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "rough" "+")
Erin is not rough.
Unknown
inv-random
[@0: Erin is rough.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "rough" "-")
Bob is young.
Unknown
random
[@0: Bob is young.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "young" "+")
@0: Bob is kind.[(triple1)] Bob is round.[(triple2)] Charlie is cold.[(triple3 OR ((triple6 triple5) -> rule3))] Charlie is nice.[(triple4)] Charlie is rough.[(triple5)] Charlie is round.[(triple6)] Charlie is young.[(triple7)] Erin is kind.[(triple8)] Erin is nice.[(triple9)] Erin is young.[(triple10)] Fiona is cold.[(triple11)] Fiona is kind.[(triple12)] Fiona is quiet.[(triple13)] Fiona is round.[(triple14)] Fiona is young.[(triple15)] @1: Erin is quiet.[(((triple9 triple8) -> rule1))] @2: Erin is cold.[(((((triple9 triple8) -> rule1) triple9) -> rule2))]
Bob is kind.
("Bob" "is" "kind" "+")
triple1
Bob is round.
("Bob" "is" "round" "+")
triple2
Charlie is cold.
("Charlie" "is" "cold" "+")
triple3
((triple6 triple5) -> (rule3 % int1))
Charlie is cold.
("Charlie" "is" "cold" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
triple4
Charlie is rough.
("Charlie" "is" "rough" "+")
triple5
Charlie is round.
("Charlie" "is" "round" "+")
triple6
Charlie is young.
("Charlie" "is" "young" "+")
triple7
Erin is kind.
("Erin" "is" "kind" "+")
triple8
Erin is nice.
("Erin" "is" "nice" "+")
triple9
Erin is young.
("Erin" "is" "young" "+")
triple10
Fiona is cold.
("Fiona" "is" "cold" "+")
triple11
Fiona is kind.
("Fiona" "is" "kind" "+")
triple12
Fiona is quiet.
("Fiona" "is" "quiet" "+")
triple13
Fiona is round.
("Fiona" "is" "round" "+")
triple14
Fiona is young.
("Fiona" "is" "young" "+")
triple15
Erin is quiet.
("Erin" "is" "quiet" "+")
((triple9 triple8) -> (rule1 % int1))
Erin is quiet.
("Erin" "is" "quiet" "+")
int1
Erin is cold.
("Erin" "is" "cold" "+")
((((triple9 triple8) -> (rule1 % int2)) triple9) -> (rule2 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
Erin is quiet.
("Erin" "is" "quiet" "+")
int2