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