Charlie is big. Charlie is green. Charlie is nice. Charlie is round. Charlie is smart. Erin is nice. Erin is round. Fiona is big. Fiona is kind. Fiona is nice. Fiona is round. Gary is kind. Gary is rough. Gary is round. Gary is smart. Rough, round people are nice. If Erin is green then Erin is rough. Nice, rough people are big.
Charlie is big.
("Charlie" "is" "big" "+")
Charlie is green.
("Charlie" "is" "green" "+")
Charlie is nice.
("Charlie" "is" "nice" "+")
Charlie is round.
("Charlie" "is" "round" "+")
Charlie is smart.
("Charlie" "is" "smart" "+")
Erin is nice.
("Erin" "is" "nice" "+")
Erin is round.
("Erin" "is" "round" "+")
Fiona is big.
("Fiona" "is" "big" "+")
Fiona is kind.
("Fiona" "is" "kind" "+")
Fiona is nice.
("Fiona" "is" "nice" "+")
Fiona is round.
("Fiona" "is" "round" "+")
Gary is kind.
("Gary" "is" "kind" "+")
Gary is rough.
("Gary" "is" "rough" "+")
Gary is round.
("Gary" "is" "round" "+")
Gary is smart.
("Gary" "is" "smart" "+")
Rough, round people are nice.
((("someone" "is" "rough" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "nice" "+"))
If Erin is green then Erin is rough.
((("Erin" "is" "green" "+")) -> ("Erin" "is" "rough" "+"))
Nice, rough people are big.
((("someone" "is" "nice" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "big" "+"))
Charlie is green.
True
1
proof
[(triple2)]
("Charlie" "is" "green" "+")
triple2
Gary is not smart.
False
1
inv-proof
[(triple15)]
("Gary" "is" "smart" "-")
triple15
Erin is not big.
Unknown
inv-rconc
[@2: Erin is big.[CWA. Example of deepest failure = (rule3 <- rule2 <- FAIL)]]
("Erin" "is" "big" "-")
Erin is green.
Unknown
random
[@0: Erin is green.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "green" "+")
@0: Charlie is big.[(triple1)] Charlie is green.[(triple2)] Charlie is nice.[(triple3)] Charlie is round.[(triple4)] Charlie is smart.[(triple5)] Erin is nice.[(triple6)] Erin is round.[(triple7)] Fiona is big.[(triple8)] Fiona is kind.[(triple9)] Fiona is nice.[(triple10)] Fiona is round.[(triple11)] Gary is kind.[(triple12)] Gary is rough.[(triple13)] Gary is round.[(triple14)] Gary is smart.[(triple15)] @1: Gary is nice.[(((triple13 triple14) -> rule1))] @2: Gary is big.[(((((triple13 triple14) -> rule1) triple13) -> rule3))]
Charlie is big.
("Charlie" "is" "big" "+")
triple1
Charlie is green.
("Charlie" "is" "green" "+")
triple2
Charlie is nice.
("Charlie" "is" "nice" "+")
triple3
Charlie is round.
("Charlie" "is" "round" "+")
triple4
Charlie is smart.
("Charlie" "is" "smart" "+")
triple5
Erin is nice.
("Erin" "is" "nice" "+")
triple6
Erin is round.
("Erin" "is" "round" "+")
triple7
Fiona is big.
("Fiona" "is" "big" "+")
triple8
Fiona is kind.
("Fiona" "is" "kind" "+")
triple9
Fiona is nice.
("Fiona" "is" "nice" "+")
triple10
Fiona is round.
("Fiona" "is" "round" "+")
triple11
Gary is kind.
("Gary" "is" "kind" "+")
triple12
Gary is rough.
("Gary" "is" "rough" "+")
triple13
Gary is round.
("Gary" "is" "round" "+")
triple14
Gary is smart.
("Gary" "is" "smart" "+")
triple15
Gary is nice.
("Gary" "is" "nice" "+")
((triple13 triple14) -> (rule1 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is big.
("Gary" "is" "big" "+")
((((triple13 triple14) -> (rule1 % int2)) triple13) -> (rule3 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
int2