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