Charlie is big. Charlie is cold. Charlie is furry. Charlie is smart. Dave is cold. Dave is kind. Fiona is big. Fiona is green. Fiona is kind. Fiona is smart. Green, cold people are furry. If someone is smart then they are kind. If someone is green and cold then they are big.
Charlie is big.
("Charlie" "is" "big" "+")
Charlie is cold.
("Charlie" "is" "cold" "+")
Charlie is furry.
("Charlie" "is" "furry" "+")
Charlie is smart.
("Charlie" "is" "smart" "+")
Dave is cold.
("Dave" "is" "cold" "+")
Dave is kind.
("Dave" "is" "kind" "+")
Fiona is big.
("Fiona" "is" "big" "+")
Fiona is green.
("Fiona" "is" "green" "+")
Fiona is kind.
("Fiona" "is" "kind" "+")
Fiona is smart.
("Fiona" "is" "smart" "+")
Green, cold people are furry.
((("someone" "is" "green" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "furry" "+"))
If someone is smart then they are kind.
((("someone" "is" "smart" "+")) -> ("someone" "is" "kind" "+"))
If someone is green and cold then they are big.
((("someone" "is" "green" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "big" "+"))
Fiona is big.
True
1
proof
[(triple7)]
("Fiona" "is" "big" "+")
triple7
Charlie is not cold.
False
1
inv-proof
[(triple2)]
("Charlie" "is" "cold" "-")
triple2
Dave is not furry.
Unknown
inv-rconc
[@1: Dave is furry.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Dave" "is" "furry" "-")
Fiona is cold.
Unknown
random
[@0: Fiona is cold.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "cold" "+")
@0: Charlie is big.[(triple1)] Charlie is cold.[(triple2)] Charlie is furry.[(triple3)] Charlie is smart.[(triple4)] Dave is cold.[(triple5)] Dave is kind.[(triple6)] Fiona is big.[(triple7)] Fiona is green.[(triple8)] Fiona is kind.[(triple9 OR ((triple10) -> rule2))] Fiona is smart.[(triple10)] @1: Charlie is kind.[(((triple4) -> rule2))]
Charlie is big.
("Charlie" "is" "big" "+")
triple1
Charlie is cold.
("Charlie" "is" "cold" "+")
triple2
Charlie is furry.
("Charlie" "is" "furry" "+")
triple3
Charlie is smart.
("Charlie" "is" "smart" "+")
triple4
Dave is cold.
("Dave" "is" "cold" "+")
triple5
Dave is kind.
("Dave" "is" "kind" "+")
triple6
Fiona is big.
("Fiona" "is" "big" "+")
triple7
Fiona is green.
("Fiona" "is" "green" "+")
triple8
Fiona is kind.
("Fiona" "is" "kind" "+")
triple9
((triple10) -> (rule2 % int1))
Fiona is kind.
("Fiona" "is" "kind" "+")
int1
Fiona is smart.
("Fiona" "is" "smart" "+")
triple10
Charlie is kind.
("Charlie" "is" "kind" "+")
((triple4) -> (rule2 % int1))
Charlie is kind.
("Charlie" "is" "kind" "+")
int1