Charlie is big. Charlie is nice. Charlie is round. Fiona is cold. Fiona is kind. Fiona is nice. Fiona is round. Gary is big. Gary is green. Harry is kind. Harry is round. Harry is young. Cold, green people are big. Big, kind people are green. If Charlie is green and Charlie is young then Charlie is nice. If someone is round and cold then they are green. If someone is round and kind then they are green. If someone is big and cold then they are round.
Charlie is big.
("Charlie" "is" "big" "+")
Charlie is nice.
("Charlie" "is" "nice" "+")
Charlie is round.
("Charlie" "is" "round" "+")
Fiona is cold.
("Fiona" "is" "cold" "+")
Fiona is kind.
("Fiona" "is" "kind" "+")
Fiona is nice.
("Fiona" "is" "nice" "+")
Fiona is round.
("Fiona" "is" "round" "+")
Gary is big.
("Gary" "is" "big" "+")
Gary is green.
("Gary" "is" "green" "+")
Harry is kind.
("Harry" "is" "kind" "+")
Harry is round.
("Harry" "is" "round" "+")
Harry is young.
("Harry" "is" "young" "+")
Cold, green people are big.
((("someone" "is" "cold" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "big" "+"))
Big, kind people are green.
((("someone" "is" "big" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "green" "+"))
If Charlie is green and Charlie is young then Charlie is nice.
((("Charlie" "is" "green" "+") ("Charlie" "is" "young" "+")) -> ("Charlie" "is" "nice" "+"))
If someone is round and cold then they are green.
((("someone" "is" "round" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "green" "+"))
If someone is round and kind then they are green.
((("someone" "is" "round" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "green" "+"))
If someone is big and cold then they are round.
((("someone" "is" "big" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "round" "+"))
Fiona is kind.
True
1
proof
[(triple5)]
("Fiona" "is" "kind" "+")
triple5
Charlie is not nice.
False
1
inv-proof
[(triple2)]
("Charlie" "is" "nice" "-")
triple2
Fiona is green.
True
3
proof
[(((triple7 triple4) -> rule4) OR ((triple7 triple5) -> rule5))]
("Fiona" "is" "green" "+")
((triple7 triple4) -> (rule4 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
((triple7 triple5) -> (rule5 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
Fiona is not green.
False
3
inv-proof
[(((triple7 triple4) -> rule4) OR ((triple7 triple5) -> rule5))]
("Fiona" "is" "green" "-")
((triple7 triple4) -> (rule4 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
((triple7 triple5) -> (rule5 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
Harry is not big.
Unknown
inv-rconc
[@1: Harry is big.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Harry" "is" "big" "-")
Gary is round.
Unknown
rconc
[@1: Gary is round.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("Gary" "is" "round" "+")
Fiona is not young.
Unknown
inv-random
[@0: Fiona is young.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "young" "-")
Charlie is cold.
Unknown
random
[@0: Charlie is cold.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "cold" "+")
@0: Charlie is big.[(triple1)] Charlie is nice.[(triple2)] Charlie is round.[(triple3)] Fiona is cold.[(triple4)] Fiona is kind.[(triple5)] Fiona is nice.[(triple6)] Fiona is round.[(triple7)] Gary is big.[(triple8)] Gary is green.[(triple9)] Harry is kind.[(triple10)] Harry is round.[(triple11)] Harry is young.[(triple12)] @1: Fiona is green.[(((triple7 triple4) -> rule4) OR ((triple7 triple5) -> rule5))] Harry is green.[(((triple11 triple10) -> rule5))] @2: Fiona is big.[(((triple4 ((triple7 triple4) -> rule4)) -> rule1) OR ((triple4 ((triple7 triple5) -> rule5)) -> rule1))]
Charlie is big.
("Charlie" "is" "big" "+")
triple1
Charlie is nice.
("Charlie" "is" "nice" "+")
triple2
Charlie is round.
("Charlie" "is" "round" "+")
triple3
Fiona is cold.
("Fiona" "is" "cold" "+")
triple4
Fiona is kind.
("Fiona" "is" "kind" "+")
triple5
Fiona is nice.
("Fiona" "is" "nice" "+")
triple6
Fiona is round.
("Fiona" "is" "round" "+")
triple7
Gary is big.
("Gary" "is" "big" "+")
triple8
Gary is green.
("Gary" "is" "green" "+")
triple9
Harry is kind.
("Harry" "is" "kind" "+")
triple10
Harry is round.
("Harry" "is" "round" "+")
triple11
Harry is young.
("Harry" "is" "young" "+")
triple12
Fiona is green.
("Fiona" "is" "green" "+")
((triple7 triple4) -> (rule4 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
((triple7 triple5) -> (rule5 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
((triple11 triple10) -> (rule5 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Fiona is big.
("Fiona" "is" "big" "+")
((triple4 ((triple7 triple4) -> (rule4 % int2))) -> (rule1 % int1))
Fiona is big.
("Fiona" "is" "big" "+")
int1
Fiona is green.
("Fiona" "is" "green" "+")
int2
((triple4 ((triple7 triple5) -> (rule5 % int2))) -> (rule1 % int1))
Fiona is big.
("Fiona" "is" "big" "+")
int1
Fiona is green.
("Fiona" "is" "green" "+")
int2