Bob is kind. Bob is young. Charlie is not red. Charlie is white. Fiona is cold. Fiona is kind. Harry is cold. Harry is not kind. Harry is quiet. Harry is red. Harry is round. Harry is young. Young people are cold. Kind, cold people are white. White people are not red.
Bob is kind.
("Bob" "is" "kind" "+")
Bob is young.
("Bob" "is" "young" "+")
Charlie is not red.
("Charlie" "is" "red" "-")
Charlie is white.
("Charlie" "is" "white" "+")
Fiona is cold.
("Fiona" "is" "cold" "+")
Fiona is kind.
("Fiona" "is" "kind" "+")
Harry is cold.
("Harry" "is" "cold" "+")
Harry is not kind.
("Harry" "is" "kind" "-")
Harry is quiet.
("Harry" "is" "quiet" "+")
Harry is red.
("Harry" "is" "red" "+")
Harry is round.
("Harry" "is" "round" "+")
Harry is young.
("Harry" "is" "young" "+")
Young people are cold.
((("someone" "is" "young" "+")) -> ("someone" "is" "cold" "+"))
Kind, cold people are white.
((("someone" "is" "kind" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "white" "+"))
White people are not red.
((("someone" "is" "white" "+")) -> ("someone" "is" "red" "-"))
Harry is not kind.
True
1
proof
[(triple8)]
("Harry" "is" "kind" "-")
triple8
Fiona is not cold.
False
1
inv-proof
[(triple5)]
("Fiona" "is" "cold" "-")
triple5
Bob is cold.
True
2
proof
[(((triple2) -> rule1))]
("Bob" "is" "cold" "+")
((triple2) -> (rule1 % int1))
Bob is cold.
("Bob" "is" "cold" "+")
int1
Bob is not cold.
False
2
inv-proof
[(((triple2) -> rule1))]
("Bob" "is" "cold" "-")
((triple2) -> (rule1 % int1))
Bob is cold.
("Bob" "is" "cold" "+")
int1
Bob is white.
True
4
proof
[(((triple1 ((triple2) -> rule1)) -> rule2))]
("Bob" "is" "white" "+")
((triple1 ((triple2) -> (rule1 % int2))) -> (rule2 % int1))
Bob is white.
("Bob" "is" "white" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
int2
Fiona is red.
False
4
inv-proof
[(((((triple6 triple5) -> rule2)) -> rule3))]
("Fiona" "is" "red" "+")
((((triple6 triple5) -> (rule2 % int2))) -> (rule3 % int1))
Fiona is not red.
("Fiona" "is" "red" "-")
int1
Fiona is white.
("Fiona" "is" "white" "+")
int2
Harry is not white.
Unknown
inv-rconc
[@1: Harry is white.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Harry" "is" "white" "-")
Charlie is cold.
Unknown
rconc
[@1: Charlie is cold.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Charlie" "is" "cold" "+")
Charlie is not young.
Unknown
inv-random
[@0: Charlie is young.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "young" "-")
Bob is quiet.
Unknown
random
[@0: Bob is quiet.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "quiet" "+")
Fiona is not round.
Unknown
inv-random
[@0: Fiona is round.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "round" "-")
Charlie is round.
Unknown
random
[@0: Charlie is round.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "round" "+")
@0: Bob is kind.[(triple1)] Bob is young.[(triple2)] Charlie is not red.[(triple3 OR ((triple4) -> rule3))] Charlie is white.[(triple4)] Fiona is cold.[(triple5)] Fiona is kind.[(triple6)] Harry is cold.[(triple7 OR ((triple12) -> rule1))] Harry is not kind.[(triple8)] Harry is quiet.[(triple9)] Harry is red.[(triple10)] Harry is round.[(triple11)] Harry is young.[(triple12)] @1: Bob is cold.[(((triple2) -> rule1))] Fiona is white.[(((triple6 triple5) -> rule2))] @2: Bob is white.[(((triple1 ((triple2) -> rule1)) -> rule2))] Fiona is not red.[(((((triple6 triple5) -> rule2)) -> rule3))] @3: Bob is not red.[(((((triple1 ((triple2) -> rule1)) -> rule2)) -> rule3))]
Bob is kind.
("Bob" "is" "kind" "+")
triple1
Bob is young.
("Bob" "is" "young" "+")
triple2
Charlie is not red.
("Charlie" "is" "red" "-")
triple3
((triple4) -> (rule3 % int1))
Charlie is not red.
("Charlie" "is" "red" "-")
int1
Charlie is white.
("Charlie" "is" "white" "+")
triple4
Fiona is cold.
("Fiona" "is" "cold" "+")
triple5
Fiona is kind.
("Fiona" "is" "kind" "+")
triple6
Harry is cold.
("Harry" "is" "cold" "+")
triple7
((triple12) -> (rule1 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
Harry is not kind.
("Harry" "is" "kind" "-")
triple8
Harry is quiet.
("Harry" "is" "quiet" "+")
triple9
Harry is red.
("Harry" "is" "red" "+")
triple10
Harry is round.
("Harry" "is" "round" "+")
triple11
Harry is young.
("Harry" "is" "young" "+")
triple12
Bob is cold.
("Bob" "is" "cold" "+")
((triple2) -> (rule1 % int1))
Bob is cold.
("Bob" "is" "cold" "+")
int1
Fiona is white.
("Fiona" "is" "white" "+")
((triple6 triple5) -> (rule2 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1
Bob is white.
("Bob" "is" "white" "+")
((triple1 ((triple2) -> (rule1 % int2))) -> (rule2 % int1))
Bob is white.
("Bob" "is" "white" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
int2
Fiona is not red.
("Fiona" "is" "red" "-")
((((triple6 triple5) -> (rule2 % int2))) -> (rule3 % int1))
Fiona is not red.
("Fiona" "is" "red" "-")
int1
Fiona is white.
("Fiona" "is" "white" "+")
int2
Bob is not red.
("Bob" "is" "red" "-")
((((triple1 ((triple2) -> (rule1 % int3))) -> (rule2 % int2))) -> (rule3 % int1))
Bob is not red.
("Bob" "is" "red" "-")
int1
Bob is white.
("Bob" "is" "white" "+")
int2
Bob is cold.
("Bob" "is" "cold" "+")
int3