Dave is cold. Dave is green. Dave is nice. Dave is smart. Erin is blue. Erin is cold. Erin is furry. Erin is green. Erin is not nice. Erin is not red. Fiona is cold. Fiona is not furry. Fiona is green. Fiona is nice. Fiona is red. Fiona is smart. Red people are blue.
Dave is cold.
("Dave" "is" "cold" "+")
Dave is green.
("Dave" "is" "green" "+")
Dave is nice.
("Dave" "is" "nice" "+")
Dave is smart.
("Dave" "is" "smart" "+")
Erin is blue.
("Erin" "is" "blue" "+")
Erin is cold.
("Erin" "is" "cold" "+")
Erin is furry.
("Erin" "is" "furry" "+")
Erin is green.
("Erin" "is" "green" "+")
Erin is not nice.
("Erin" "is" "nice" "-")
Erin is not red.
("Erin" "is" "red" "-")
Fiona is cold.
("Fiona" "is" "cold" "+")
Fiona is not furry.
("Fiona" "is" "furry" "-")
Fiona is green.
("Fiona" "is" "green" "+")
Fiona is nice.
("Fiona" "is" "nice" "+")
Fiona is red.
("Fiona" "is" "red" "+")
Fiona is smart.
("Fiona" "is" "smart" "+")
Red people are blue.
((("someone" "is" "red" "+")) -> ("someone" "is" "blue" "+"))
Erin is furry.
True
1
proof
[(triple7)]
("Erin" "is" "furry" "+")
triple7
Erin is not cold.
False
1
inv-proof
[(triple6)]
("Erin" "is" "cold" "-")
triple6
Fiona is blue.
True
2
proof
[(((triple15) -> rule1))]
("Fiona" "is" "blue" "+")
((triple15) -> (rule1 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
Fiona is not blue.
False
2
inv-proof
[(((triple15) -> rule1))]
("Fiona" "is" "blue" "-")
((triple15) -> (rule1 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
Dave is not blue.
Unknown
inv-rconc
[@1: Dave is blue.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Dave" "is" "blue" "-")
Erin is smart.
Unknown
random
[@0: Erin is smart.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "smart" "+")
Dave is not furry.
Unknown
inv-random
[@0: Dave is furry.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "furry" "-")
Dave is red.
Unknown
random
[@0: Dave is red.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "red" "+")
@0: Dave is cold.[(triple1)] Dave is green.[(triple2)] Dave is nice.[(triple3)] Dave is smart.[(triple4)] Erin is blue.[(triple5)] Erin is cold.[(triple6)] Erin is furry.[(triple7)] Erin is green.[(triple8)] Erin is not nice.[(triple9)] Erin is not red.[(triple10)] Fiona is cold.[(triple11)] Fiona is green.[(triple13)] Fiona is nice.[(triple14)] Fiona is not furry.[(triple12)] Fiona is red.[(triple15)] Fiona is smart.[(triple16)] @1: Fiona is blue.[(((triple15) -> rule1))]
Dave is cold.
("Dave" "is" "cold" "+")
triple1
Dave is green.
("Dave" "is" "green" "+")
triple2
Dave is nice.
("Dave" "is" "nice" "+")
triple3
Dave is smart.
("Dave" "is" "smart" "+")
triple4
Erin is blue.
("Erin" "is" "blue" "+")
triple5
Erin is cold.
("Erin" "is" "cold" "+")
triple6
Erin is furry.
("Erin" "is" "furry" "+")
triple7
Erin is green.
("Erin" "is" "green" "+")
triple8
Erin is not nice.
("Erin" "is" "nice" "-")
triple9
Erin is not red.
("Erin" "is" "red" "-")
triple10
Fiona is cold.
("Fiona" "is" "cold" "+")
triple11
Fiona is green.
("Fiona" "is" "green" "+")
triple13
Fiona is nice.
("Fiona" "is" "nice" "+")
triple14
Fiona is not furry.
("Fiona" "is" "furry" "-")
triple12
Fiona is red.
("Fiona" "is" "red" "+")
triple15
Fiona is smart.
("Fiona" "is" "smart" "+")
triple16
Fiona is blue.
("Fiona" "is" "blue" "+")
((triple15) -> (rule1 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1