Charlie is big. Charlie is cold. Charlie is furry. Charlie is kind. Charlie is quiet. Charlie is smart. Charlie is white. Dave is cold. Dave is smart. Fiona is big. Fiona is cold. Fiona is furry. Fiona is kind. Fiona is smart. Fiona is white. Furry, white things are quiet.
Charlie is big.
("Charlie" "is" "big" "+")
Charlie is cold.
("Charlie" "is" "cold" "+")
Charlie is furry.
("Charlie" "is" "furry" "+")
Charlie is kind.
("Charlie" "is" "kind" "+")
Charlie is quiet.
("Charlie" "is" "quiet" "+")
Charlie is smart.
("Charlie" "is" "smart" "+")
Charlie is white.
("Charlie" "is" "white" "+")
Dave is cold.
("Dave" "is" "cold" "+")
Dave is smart.
("Dave" "is" "smart" "+")
Fiona is big.
("Fiona" "is" "big" "+")
Fiona is cold.
("Fiona" "is" "cold" "+")
Fiona is furry.
("Fiona" "is" "furry" "+")
Fiona is kind.
("Fiona" "is" "kind" "+")
Fiona is smart.
("Fiona" "is" "smart" "+")
Fiona is white.
("Fiona" "is" "white" "+")
Furry, white things are quiet.
((("something" "is" "furry" "+") ("something" "is" "white" "+")) -> ("something" "is" "quiet" "+"))
Fiona is smart.
True
1
proof
[(triple14)]
("Fiona" "is" "smart" "+")
triple14
Fiona is not furry.
False
1
inv-proof
[(triple12)]
("Fiona" "is" "furry" "-")
triple12
Dave is not quiet.
Unknown
inv-rconc
[@1: Dave is quiet.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Dave" "is" "quiet" "-")
Dave is big.
Unknown
random
[@0: Dave is big.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "big" "+")
@0: Charlie is big.[(triple1)] Charlie is cold.[(triple2)] Charlie is furry.[(triple3)] Charlie is kind.[(triple4)] Charlie is quiet.[(triple5 OR ((triple3 triple7) -> rule1))] Charlie is smart.[(triple6)] Charlie is white.[(triple7)] Dave is cold.[(triple8)] Dave is smart.[(triple9)] Fiona is big.[(triple10)] Fiona is cold.[(triple11)] Fiona is furry.[(triple12)] Fiona is kind.[(triple13)] Fiona is smart.[(triple14)] Fiona is white.[(triple15)] @1: Fiona is quiet.[(((triple12 triple15) -> rule1))]
Charlie is big.
("Charlie" "is" "big" "+")
triple1
Charlie is cold.
("Charlie" "is" "cold" "+")
triple2
Charlie is furry.
("Charlie" "is" "furry" "+")
triple3
Charlie is kind.
("Charlie" "is" "kind" "+")
triple4
Charlie is quiet.
("Charlie" "is" "quiet" "+")
triple5
((triple3 triple7) -> (rule1 % int1))
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int1
Charlie is smart.
("Charlie" "is" "smart" "+")
triple6
Charlie is white.
("Charlie" "is" "white" "+")
triple7
Dave is cold.
("Dave" "is" "cold" "+")
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
Fiona is kind.
("Fiona" "is" "kind" "+")
triple13
Fiona is smart.
("Fiona" "is" "smart" "+")
triple14
Fiona is white.
("Fiona" "is" "white" "+")
triple15
Fiona is quiet.
("Fiona" "is" "quiet" "+")
((triple12 triple15) -> (rule1 % int1))
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int1