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