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