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