Dave is not nice. Erin is not nice. Erin is not red. Fiona is red. Fiona is not round. Harry is rough. Harry is smart. Red people are smart. Smart people are cold.
Dave is not nice.
("Dave" "is" "nice" "-")
Erin is not nice.
("Erin" "is" "nice" "-")
Erin is not red.
("Erin" "is" "red" "-")
Fiona is red.
("Fiona" "is" "red" "+")
Fiona is not round.
("Fiona" "is" "round" "-")
Harry is rough.
("Harry" "is" "rough" "+")
Harry is smart.
("Harry" "is" "smart" "+")
Red people are smart.
((("someone" "is" "red" "+")) -> ("someone" "is" "smart" "+"))
Smart people are cold.
((("someone" "is" "smart" "+")) -> ("someone" "is" "cold" "+"))
Dave is not nice.
True
1
proof
[(triple1)]
("Dave" "is" "nice" "-")
triple1
Fiona is not red.
False
1
inv-proof
[(triple4)]
("Fiona" "is" "red" "-")
triple4
Dave is not smart.
Unknown
inv-rconc
[@1: Dave is smart.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Dave" "is" "smart" "-")
Fiona is rough.
Unknown
random
[@0: Fiona is rough.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "rough" "+")
@0: Dave is not nice.[(triple1)] Erin is not nice.[(triple2)] Erin is not red.[(triple3)] Fiona is not round.[(triple5)] Fiona is red.[(triple4)] Harry is rough.[(triple6)] Harry is smart.[(triple7)] @1: Fiona is smart.[(((triple4) -> rule1))] Harry is cold.[(((triple7) -> rule2))] @2: Fiona is cold.[(((((triple4) -> rule1)) -> rule2))]
Dave is not nice.
("Dave" "is" "nice" "-")
triple1
Erin is not nice.
("Erin" "is" "nice" "-")
triple2
Erin is not red.
("Erin" "is" "red" "-")
triple3
Fiona is not round.
("Fiona" "is" "round" "-")
triple5
Fiona is red.
("Fiona" "is" "red" "+")
triple4
Harry is rough.
("Harry" "is" "rough" "+")
triple6
Harry is smart.
("Harry" "is" "smart" "+")
triple7
Fiona is smart.
("Fiona" "is" "smart" "+")
((triple4) -> (rule1 % int1))
Fiona is smart.
("Fiona" "is" "smart" "+")
int1
Harry is cold.
("Harry" "is" "cold" "+")
((triple7) -> (rule2 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
Fiona is cold.
("Fiona" "is" "cold" "+")
((((triple4) -> (rule1 % int2))) -> (rule2 % int1))
Fiona is cold.
("Fiona" "is" "cold" "+")
int1
Fiona is smart.
("Fiona" "is" "smart" "+")
int2