Charlie is smart. Charlie is white. Dave is blue. Dave is kind. Dave is smart. Dave is white. Fiona is big. Harry is big. Harry is kind. Harry is rough. Harry is round. Harry is white. All white, smart people are rough. Big people are blue.
Charlie is smart.
("Charlie" "is" "smart" "+")
Charlie is white.
("Charlie" "is" "white" "+")
Dave is blue.
("Dave" "is" "blue" "+")
Dave is kind.
("Dave" "is" "kind" "+")
Dave is smart.
("Dave" "is" "smart" "+")
Dave is white.
("Dave" "is" "white" "+")
Fiona is big.
("Fiona" "is" "big" "+")
Harry is big.
("Harry" "is" "big" "+")
Harry is kind.
("Harry" "is" "kind" "+")
Harry is rough.
("Harry" "is" "rough" "+")
Harry is round.
("Harry" "is" "round" "+")
Harry is white.
("Harry" "is" "white" "+")
All white, smart people are rough.
((("someone" "is" "white" "+") ("someone" "is" "smart" "+")) -> ("someone" "is" "rough" "+"))
Big people are blue.
((("someone" "is" "big" "+")) -> ("someone" "is" "blue" "+"))
Charlie is white.
True
1
proof
[(triple2)]
("Charlie" "is" "white" "+")
triple2
Dave is not smart.
False
1
inv-proof
[(triple5)]
("Dave" "is" "smart" "-")
triple5
Charlie is not blue.
Unknown
inv-rconc
[@1: Charlie is blue.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Charlie" "is" "blue" "-")
Dave is round.
Unknown
random
[@0: Dave is round.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "round" "+")
@0: Charlie is smart.[(triple1)] Charlie is white.[(triple2)] Dave is blue.[(triple3)] Dave is kind.[(triple4)] Dave is smart.[(triple5)] Dave is white.[(triple6)] Fiona is big.[(triple7)] Harry is big.[(triple8)] Harry is kind.[(triple9)] Harry is rough.[(triple10)] Harry is round.[(triple11)] Harry is white.[(triple12)] @1: Charlie is rough.[(((triple2 triple1) -> rule1))] Dave is rough.[(((triple6 triple5) -> rule1))] Fiona is blue.[(((triple7) -> rule2))] Harry is blue.[(((triple8) -> rule2))]
Charlie is smart.
("Charlie" "is" "smart" "+")
triple1
Charlie is white.
("Charlie" "is" "white" "+")
triple2
Dave is blue.
("Dave" "is" "blue" "+")
triple3
Dave is kind.
("Dave" "is" "kind" "+")
triple4
Dave is smart.
("Dave" "is" "smart" "+")
triple5
Dave is white.
("Dave" "is" "white" "+")
triple6
Fiona is big.
("Fiona" "is" "big" "+")
triple7
Harry is big.
("Harry" "is" "big" "+")
triple8
Harry is kind.
("Harry" "is" "kind" "+")
triple9
Harry is rough.
("Harry" "is" "rough" "+")
triple10
Harry is round.
("Harry" "is" "round" "+")
triple11
Harry is white.
("Harry" "is" "white" "+")
triple12
Charlie is rough.
("Charlie" "is" "rough" "+")
((triple2 triple1) -> (rule1 % int1))
Charlie is rough.
("Charlie" "is" "rough" "+")
int1
Dave is rough.
("Dave" "is" "rough" "+")
((triple6 triple5) -> (rule1 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Fiona is blue.
("Fiona" "is" "blue" "+")
((triple7) -> (rule2 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
Harry is blue.
("Harry" "is" "blue" "+")
((triple8) -> (rule2 % int1))
Harry is blue.
("Harry" "is" "blue" "+")
int1