Dave is big. Erin is nice. Fiona is kind. Harry is kind. Harry is nice. Harry is red. Harry is round. All nice people are round.
Dave is big.
("Dave" "is" "big" "+")
Erin is nice.
("Erin" "is" "nice" "+")
Fiona is kind.
("Fiona" "is" "kind" "+")
Harry is kind.
("Harry" "is" "kind" "+")
Harry is nice.
("Harry" "is" "nice" "+")
Harry is red.
("Harry" "is" "red" "+")
Harry is round.
("Harry" "is" "round" "+")
All nice people are round.
((("someone" "is" "nice" "+")) -> ("someone" "is" "round" "+"))
Fiona is kind.
True
1
proof
[(triple3)]
("Fiona" "is" "kind" "+")
triple3
Harry is not red.
False
1
inv-proof
[(triple6)]
("Harry" "is" "red" "-")
triple6
Erin is round.
True
2
proof
[(((triple2) -> rule1))]
("Erin" "is" "round" "+")
((triple2) -> (rule1 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
Erin is not round.
False
2
inv-proof
[(((triple2) -> rule1))]
("Erin" "is" "round" "-")
((triple2) -> (rule1 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
Dave is not round.
Unknown
inv-rconc
[@1: Dave is round.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Dave" "is" "round" "-")
Fiona is round.
Unknown
rconc
[@1: Fiona is round.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Fiona" "is" "round" "+")
Erin is not blue.
Unknown
inv-random
[@0: Erin is blue.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "blue" "-")
Fiona is furry.
Unknown
random
[@0: Fiona is furry.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "furry" "+")
@0: Dave is big.[(triple1)] Erin is nice.[(triple2)] Fiona is kind.[(triple3)] Harry is kind.[(triple4)] Harry is nice.[(triple5)] Harry is red.[(triple6)] Harry is round.[(triple7 OR ((triple5) -> rule1))] @1: Erin is round.[(((triple2) -> rule1))]
Dave is big.
("Dave" "is" "big" "+")
triple1
Erin is nice.
("Erin" "is" "nice" "+")
triple2
Fiona is kind.
("Fiona" "is" "kind" "+")
triple3
Harry is kind.
("Harry" "is" "kind" "+")
triple4
Harry is nice.
("Harry" "is" "nice" "+")
triple5
Harry is red.
("Harry" "is" "red" "+")
triple6
Harry is round.
("Harry" "is" "round" "+")
triple7
((triple5) -> (rule1 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Erin is round.
("Erin" "is" "round" "+")
((triple2) -> (rule1 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1